module Option:sig..end
type'at ='a option
val map : ('a -> 'b) -> 'a t -> 'b tval get : (unit -> 'a) -> 'a t -> 'aval iter : ('a -> unit) -> 'a t -> unitval return : 'a -> 'a tval bind : 'a t ->
('a -> 'b t) -> 'b tval to_list : 'a t -> 'a list