sig   val may : ('-> unit) -> 'a option -> unit   val map : ('-> 'b) -> 'a option -> 'b option   val default : '-> 'a option -> 'a   val map_default : ('-> 'b) -> '-> 'a option -> 'b   val is_none : 'a option -> bool   val is_some : 'a option -> bool   val get : 'a option -> 'a   exception No_value end