module Defaults: functor (D : Default) -> Default _Default.mliBAAÀ
functor (
D
:
Default
) ->
_Default.mliBAAÀ
type a
val default : unit -> a
unit -> a