module Default_list: functor (A : Default) -> Default with type a = A.a list
functor (
A
:
Default
) ->
with type a = A.a list
type a
val default : unit -> a
unit -> a