Functor Deriving_Default.Default_list

module Default_list: 
functor (A : Default-> Default with type a = A.a list
Parameters:
A : Default

type a 
val default : unit -> a