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