Make_logic.T
type t
val not : t -> t
val and_ : t -> t -> t
val or_ : t -> t -> t
val xor : t -> t -> t