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