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