sig
type
phantom
type
real = t
type
default = (real, phantom)
Default
.t
val
default : default
end