Names
val reset : unit -> unit
val add : t -> string -> unit
val remove : t -> unit
val all : unit -> (t * string) list
Frama-C