Frama-C API - Hashtbl
A standard OCaml hashtbl signature extended with datatype operations.
include Hashtbl_with_descr
include Hashtbl.S
val create : int -> 'a t
val clear : 'a t -> unit
val reset : 'a t -> unit
val length : 'a t -> int
val stats : 'a t -> Hashtbl.statistics
val to_seq_values : 'a t -> 'a Stdlib.Seq.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 iter_sorted_by_entry : cmp:((key * 'a) -> (key * 'a) -> int) -> (key -> 'a -> unit) -> 'a t -> unit
Iter on the hashtable, respecting the order on entries given by cmp
. The table may contains several bindings for the same key.
val fold_sorted_by_entry : cmp:((key * 'a) -> (key * 'a) -> int) -> (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Fold on the hashtable, respecting the order on entries given by cmp
. The table may contains several bindings for the same key.
Iter 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.
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.
Same as Stdlib.Hashtbl.find
but returns ~default
if the key is not found.
val structural_descr : Structural_descr.t -> Structural_descr.t