Scope
type t
val create : plugin -> t
val reserve : t -> string -> unit
Must _not_ be call after use
use
val declare : t -> ident -> unit
val use : t -> ident -> unit
val resolve : t -> string IdMap.t
Frama-C