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