module Default_bool: Default with type a = bool
Default
with type a = bool
type a
val default : unit -> a
unit -> a