module Default_int: Default +Ddx@@@!a2D
Default
+Ddx@@@!a2D
type a
val default : unit -> a
unit -> a