Frama_c_kernel.Hptmap_sig
Signature for the Hptmap
module
Functions on hptmaps are divided into two module types:
Shape
contains only functions that do not create or modify a map: comparisons, tests, finding an element or a key, iterators.S
includes Shape
, plus functions that create and modify maps: adding or removing elements, filter and maps, merge of two maps.type cache_type =
Some functions of this module may optionally use internal caches. It is the responsibility of the use to choose whether or not to use a cache, and whether this cache will be garbage-collectable by OCaml.
module type Shape = sig ... end
This module type contains only functions that do not create or modify maps. These functions can be applied to any maps from a given type key
, regardless of the type of values bound.
module type S = sig ... end
Signature for hptmaps from hash-consed trees to values.