Up – Package index » frama-c » Library frama-c.kernel » Frama_c_kernel » Hashtbl » MakeSeededModule Hashtbl.MakeSeeded Functor building an implementation of the hashtable structure. The functor Hashtbl.MakeSeeded returns a structure containing a type key of keys and a type 'a t of hash tables associating data of type 'a to keys of type key. The operations perform similarly to those of the generic interface, but use the seeded hashing and equality functions specified in the functor argument H instead of generic equality and hashing. The create operation of the result structure supports the ~random optional parameter and returns randomized hash tables if ~random:true is passed or if randomization is globally on (see Hashtbl.randomize ).
frama-c Library Pdg_types Library crowbar_utils Library frama-c-acsl-importer.core Library frama-c-alias.core Library frama-c-aorai.core Library frama-c-api_generator.core Library frama-c-callgraph.core Library frama-c-constant_propagation.core Library frama-c-dive.core Library frama-c-e-acsl.core Library frama-c-eva.core Library frama-c-eva.numerors Library frama-c-eva.server_api Library frama-c-from.core Library frama-c-impact.core Library frama-c-inout.core Library frama-c-instantiate.core Library frama-c-loop-analysis.core Library frama-c-markdown-report.core Library frama-c-markdown-report.eva-info Library frama-c-metrics.core Library frama-c-nonterm.core Library frama-c-obfuscator.core Library frama-c-occurrence.core Library frama-c-pdg.core Library frama-c-pdg.types Library frama-c-reduc.core Library frama-c-region.core Library frama-c-report.core Library frama-c-rtegen.core Library frama-c-scope.core Library frama-c-security_slicing.core Library frama-c-server.core Library frama-c-slicing.core Library frama-c-sparecode.core Library frama-c-studia.core Library frama-c-volatile.core Library frama-c-wp.core Library frama-c.analysis-scripts Library frama-c.boot Library frama-c.fc_internal_z Library frama-c.init Library frama-c.kernel Library markdown_report_eva_info Library numerors Library ppx_z_literals Library qed Sources Parameters Signatureval create : ?random :bool -> int -> 'a t val add : 'a t -> key -> 'a -> unitval remove : 'a t -> key -> unitval find_and_remove : 'a t -> key -> 'a optionval find : 'a t -> key -> 'a val find_opt : 'a t -> key -> 'a optionval find_all : 'a t -> key -> 'a listval replace : 'a t -> key -> 'a -> unitval find_and_replace : 'a t -> key -> 'a -> 'a optionval mem : 'a t -> key -> boolval iter : (key -> 'a -> unit) -> 'a t -> unitval filter_map_inplace : (key -> 'a -> 'a option ) -> 'a t -> unitval fold : (key -> 'a -> 'acc -> 'acc ) -> 'a t -> 'acc -> 'acc val to_seq_values : 'a t -> 'a Seq.t val add_seq : 'a t -> (key * 'a ) Seq.t -> unitval replace_seq : 'a t -> (key * 'a ) Seq.t -> unit