sig
  type 'a t = 'a option = None | Some of 'a
  val none : 'a option
  val some : '-> 'a option
  val value : 'a option -> default:'-> 'a
  val get : 'a option -> 'a
  val bind : 'a option -> ('-> 'b option) -> 'b option
  val join : 'a option option -> 'a option
  val map : ('-> 'b) -> 'a option -> 'b option
  val fold : none:'-> some:('-> 'a) -> 'b option -> 'a
  val iter : ('-> unit) -> 'a option -> unit
  val is_none : 'a option -> bool
  val is_some : 'a option -> bool
  val equal : ('-> '-> bool) -> 'a option -> 'a option -> bool
  val compare : ('-> '-> int) -> 'a option -> 'a option -> int
  val to_result : none:'-> 'a option -> ('a, 'e) Stdlib.result
  val to_list : 'a option -> 'a list
end