Module Equality_term

module Equality_term: sig .. end
Atom of the predicates.

Utilitaries


type atom = 
| Exp of Cil_types.exp (*
Expression cil
*)
| Lvalue of Cil_types.lval (*
Représentation d'une lvalue
*)
| Old of atom (*
Evaluation of a term at the call point of the current function
*)
| Fix of atom (*
Fixed term : not modified by a subst operation.
*)
module type Atom = sig .. end
module Atom: Atom