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