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