Module type Literal.S_Term

module type S_Term = sig .. end

include Literal.S
val mk_pred : Term.t -> t
val vrai : t
val faux : t