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