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