Module Spec.If_nothing_chosen
type (_, _) t=|Default_to : 'a -> ('a, 'a) t|Raise : ('a, 'a) t|Return_none : ('a, 'a Core_kernel__.Import.option) t
Spec.If_nothing_chosentype (_, _) t = | Default_to : 'a -> ('a, 'a) t |
| Raise : ('a, 'a) t |
| Return_none : ('a, 'a Core_kernel__.Import.option) t |