Module Rtl

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.