Option

inductive Option[T] {
    none
    some(T)
}

Optional values that can either contain a value of type T or be empty. Useful for representing values that may or may not exist.

GitHub

---

none

Option.none: Option[T]

Option.none represents the absence of a value.

some

Option.some: T -> Option[T]

Option.some(value) represents the presence of a value.