module Default_ref: functor (A : Default) -> Default À˜G C {@ •À .Default
functor (
A
:
Default
) ->
À˜G C {@ •À .Default
type a
val default : unit -> a
unit -> a