Common.Make_logic
module T : sig ... end
val not : T.t -> T.t
val and_ : T.t -> T.t -> T.t
val or_ : T.t -> T.t -> T.t
val xor : T.t -> T.t -> T.t
val (!) : T.t -> T.t
val (&&) : T.t -> T.t -> T.t
val (||) : T.t -> T.t -> T.t
val (lxor) : T.t -> T.t -> T.t