module Default_option: functor (A : Default) -> Default @A�À£ ¡�!D!a°À…G C xÀ†G
functor (
A
:
Default
) ->
@A�À£ ¡�!D!a°À…G C xÀ†G
type a
val default : unit -> a
unit -> a