module Default_option: functor (A : Default) -> Default @@@A!D!aG C x
functor (
A
:
Default
) ->
@@@A!D!aG C x
type a
val default : unit -> a
unit -> a