Module E_ACSL.Rtl

This module links the E-ACSL's RTL to the user source code.

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. Useful to know whether some symbols is part of the RTL.