Frama-C:
Plug-ins:
Libraries:

Frama-C API - Heap

Chunks Sets and Maps.

type t = Chunk.t
type set
type 'a map
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
module Map : Qed.Collection.Map with type 'a t = 'a map and type key = t and type domain = set
module Set : Qed.Collection.Set with type t = set and type elt = t and type 'a mapping = 'a map