module Option: sig .. end
sig
end
type 'a t = 'a option
'a
'a option
val default : 'a -> 'a option -> 'a
'a -> 'a option -> 'a