Module Bool.False_

module False_: Default.S  with type real = t

type phantom 

type real 

type default = (real, phantom) Default.t 

val default : default