Module Bool.True_

module True_: Default.S  with type real = t

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