E.Term
type t = term
val neg : t -> t
Logical negation.
val _or : t list -> t
Disjunction.
val of_cst : term_cst -> t
Create a formula out of a constant.
module Var : sig ... end
module Const : sig ... end