module Default_array: functor (A : Default) -> Default {@@G C bG C {@@
functor (
A
:
Default
) ->
{@@G C bG C {@@
type a
val default : unit -> a
unit -> a