Module Default

module Default: Default

type ('real, 'phantom) t = private 'real 
val override : 'real -> ('real, 'a) t
module type S = sig .. end
val create : 'a -> (module Default.S with type real = 'a)