Module Deriving_Default.Default_list

Parameters

module A : Default

Signature

type a = A.a list
val default : unit -> a