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