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