Module Boolean

module Boolean: sig  end

val mk_true : Term.t

val mk_false : Term.t

val is_true : Term.t -> bool

val is_false : Term.t -> bool

val mk_conj : Term.t -> Term.t -> Term.t

val mk_disj : Term.t -> Term.t -> Term.t

val mk_xor : Term.t -> Term.t -> Term.t

val mk_neg : Term.t -> Term.t