Module Bool.True_

module True_: Default.S  with type real = t

type phantom 

type real 

type default = (real, phantom) Default.t 

val default : default