module Default_array: functor (A : Default) -> Default @°ÀŽG C bÀ�G C {@@°À‘
functor (
A
:
Default
) ->
@°ÀŽG C bÀ�G C {@@°À‘
type a
val default : unit -> a
unit -> a