include module type of struct include Stdlib.Option end
type !'a t = 'a option = | None| Some of 'a
val some : 'a -> 'a optionval get : 'a option -> 'aval join : 'a option option -> 'a optionval fold : none:'a -> some:('b -> 'a) -> 'b option -> 'aval is_none : 'a option -> boolval is_some : 'a option -> boolval equal : ('a -> 'a -> bool) -> 'a option -> 'a option -> boolval compare : ('a -> 'a -> int) -> 'a option -> 'a option -> intval to_result : none:'e -> 'a option -> ('a, 'e) Stdlib.resultval to_list : 'a option -> 'a listval to_seq : 'a option -> 'a Stdlib.Seq.tval map : f:('a -> 'b) -> 'a t -> 'b tval bind : f:('a -> 'b t) -> 'a t -> 'b tval iter : f:('a -> unit) -> 'a t -> unitval filter : f:('a -> bool) -> 'a t -> 'a tval value : default:'a -> 'a t -> 'a