Functor Deriving_Default.Default_array

module Default_array: 
functor (A : Default) -> Default @°ÀŽGCbÀ�GC{@@°À‘
Parameters:
A : Default

type a 
val default : unit -> a