Module Int64_u.Option

This allows us to represent t option without allocating for Some _ tags. Some (min_value ()) is not representable because its representation would overlap with the representation of None.

type value = t
type t
val none : Base.unit -> t
val some : value -> t
val unchecked_some : value -> t
val some_is_representable : value -> Base.bool
val is_none : t -> Base.bool
val is_some : t -> Base.bool
val value : t -> default:value -> value
val unchecked_value : t -> value
val to_option : t -> Boxed.t Base.option
val of_option : Boxed.t Base.option -> t
val to_local_option : t -> Boxed.t Base.option @ local
val of_local_option : Boxed.t Base.option @ local -> t
module Optional_syntax : sig ... end