Skip to main content

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.