Functor Deriving_Default.Defaults

module Defaults: 
functor (D : Default-> Default _Default.mliBAAÀ
Parameters:
D : Default

type a 
val default : unit -> a