Module type Default.S

module type S = sig .. end

type phantom 

type real 

type default = (real, phantom) Default.t 

val default : default