Functor Deriving_Default.Default_option

module Default_option: 
functor (A : Default-> Default @@@A!D!aGCx
Parameters:
A : Default

type a 
val default : unit -> a