Module OBOption.KernelSource

Sourcetype 'a t = 'a option
Sourceval bind : 'a option -> ('a -> 'b option) -> 'b option
Sourceval return : 'a -> 'a option