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