module Option: sig .. end
sig
end
val map : ('a -> 'b) -> 'a option -> 'b option
('a -> 'b) -> 'a option -> 'b option