Frama-C API - Rtl
This module links the E-ACSL's RTL to the user source code.
val link : Frama_c_kernel.Project.t -> unitlink prj links the RTL's AST contained in prj to the AST of the current project.
module Symbols : sig ... endTables that contain RTL's symbols. Useful to know whether some symbols is part of the RTL.