module Default_string: Default [c@@@@A@@°ÀC[bÀC[
Default
[c@@@@A@@°ÀC[bÀC[
type a
val default : unit -> a
unit -> a