unboxed.int64_u
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.
t option
Some _
Some min_value
None
unboxed
unboxed.bin_prot_unboxed_numbers
unboxed.float32
unboxed.float32_u
unboxed.float_u
unboxed.int32_u
unboxed.nativeint_u
unboxed.packed_float_option
unboxed.percent_u
type value = t
type t : bits64 mod everything
val none : t
val some : value -> t [@@zero_alloc]
val unchecked_some : value -> t [@@zero_alloc]
val some_is_representable : value -> Base.bool [@@zero_alloc]
val is_none : t -> Base.bool [@@zero_alloc]
val is_some : t -> Base.bool [@@zero_alloc]
val value : t -> default:value -> value [@@zero_alloc]
val unchecked_value : t -> value [@@zero_alloc]
val to_option : t -> Boxed.t Base.option
val of_option : Boxed.t Base.option -> t [@@zero_alloc]
val to_local_option : t -> Boxed.t Base.option @ local [@@zero_alloc]
val of_local_option : Boxed.t Base.option @ local -> t [@@zero_alloc]
module Optional_syntax : sig ... end