Frama-C API - Hashtbl
include Datatype.Hashtbl_with_descr with type key = t
include FCHashtbl.S with type key = t
Iter on the hashtbl, but respecting the order on keys induced by cmp
. Use Stdlib.compare
if cmp
not given.
If the table contains several bindings for the same key, they are passed to f
in reverse order of introduction, that is, the most recent binding is passed first.
Fold on the hashtbl, but respecting the order on keys induced by cmp
. Use Stdlib.compare
if cmp
not given.
If the table contains several bindings for the same key, they are passed to f
in reverse order of introduction, that is, the most recent binding is passed first.
val fold_sorted_by_entry : cmp:((key * 'a) -> (key * 'a) -> int) -> (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Iter or fold on the hashtable, respecting the order on entries given by cmp
. The table may contains several bindings for the same key.
Iter or fold on the hashtable, respecting the order on entries given by cmp
. The relative order for entries whose values is equal according to cmp, is not specified.
val structural_descr : Structural_descr.t -> Structural_descr.t
module Key : Datatype.S with type t = key
Datatype for the keys of the hashtbl.
module Make (Data : Datatype.S) : Datatype.S with type t = Data.t t
Build a datatype of the hashtbl according to the datatype of values in the hashtbl.