module Option: sig .. end
sig
end
type 'a t = 'a option
'a
'a option
val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit