Frama-C API - Tagged
Builds a projectified index on types with unique identifiers.
Parameters
module A : TaggedType
Signature
val get : t -> string
val find : string -> t
val remove : t -> unit
Remove item from index tables. Use with extreme care.