sig
  type 'a t = 'a option
  val is_none : 'Misc.Stdlib.Option.t -> bool
  val is_some : 'Misc.Stdlib.Option.t -> bool
  val equal :
    ('-> '-> bool) ->
    'Misc.Stdlib.Option.t -> 'Misc.Stdlib.Option.t -> bool
  val iter : ('-> unit) -> 'Misc.Stdlib.Option.t -> unit
  val map : ('-> 'b) -> 'Misc.Stdlib.Option.t -> 'Misc.Stdlib.Option.t
  val fold : ('-> '-> 'b) -> 'Misc.Stdlib.Option.t -> '-> 'b
  val value_default :
    ('-> 'b) -> default:'-> 'Misc.Stdlib.Option.t -> 'b
end