sig
type
a
val
default : unit
->
Deriving_Default
.
Default
.a
end