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