Module Bool3


module Bool3: sig .. end


type bool3 =
| True
| False
| Undefined
val bool3and : bool3 -> bool3 -> bool3
val bool3or : bool3 -> bool3 -> bool3
val bool3not : bool3 -> bool3