Module Bool3

module Bool3: sig .. end

type t = 
| True
| False
| Undefined
val bool3and : t -> t -> t
val bool3or : t -> t -> t
val bool3not : t -> t
val bool3_of_bool : bool -> t