Functor Deriving_Default.Default_array

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

type a 

val default : unit -> a