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