Common.Logic
type t
val not : t -> t
val and_ : t -> t -> t
val or_ : t -> t -> t
val xor : t -> t -> t
val (!) : t -> t
val (&&) : t -> t -> t
val (||) : t -> t -> t
val (lxor) : t -> t -> t