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