module Bool3: sig .. end
sig
end
type t =
|
True
False
Undefined
val bool3and : t -> t -> t
t -> t -> t
val bool3or : t -> t -> t
val bool3not : t -> t
t -> t
val bool3_of_bool : bool -> t
bool -> t