module Default_list: functor (A : Default) -> Default oG C bÀpG C i@°ÀrG C
functor (
A
:
Default
) ->
oG C bÀpG C i@°ÀrG C
type a
val default : unit -> a
unit -> a