module Rtl:sig
..end
This module links the E-ACSL's RTL to the user source code.
val link : Project.t -> unit
link prj
links the RTL's AST contained in prj
to the AST of the current
project.
module Symbols:sig
..end
Tables that contain RTL's symbols.