Generator
type key
type data
val mem : key -> bool
val get : key -> data
val set : key -> data -> unit
val find : key -> data
val remove : key -> unit
val clear : unit -> unit
Frama-C