Module Literal.LT (.ml)

module LT: S_Term 

include Literal.S

val mk_pred : Term.t -> t

val vrai : t

val faux : t