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 README Library Pdg_types Library frama-c-acsl-importer.core Library frama-c-acsl-importer.gui 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.gui Library frama-c-eva.mthread Library frama-c-eva.numerors Library frama-c-from.core Library frama-c-from.gui Library frama-c-impact.core Library frama-c-impact.gui 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-metrics.gui Library frama-c-nonterm.core Library frama-c-obfuscator.core Library frama-c-occurrence.core Library frama-c-occurrence.gui 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-rtegen.gui Library frama-c-scope.core Library frama-c-scope.gui Library frama-c-security_slicing.core Library frama-c-security_slicing.gui Library frama-c-server.core Library frama-c-slicing.core Library frama-c-slicing.gui Library frama-c-sparecode.core Library frama-c-studia.core Library frama-c-studia.gui Library frama-c-users.core Library frama-c-volatile.core Library frama-c-wp.core Library frama-c-wp.gui Library frama-c.analysis-scripts Library frama-c.boot Library frama-c.gui Library frama-c.init Library frama-c.kernel Library frama_c_very_first_cmdline Library frama_c_very_first_gui Library markdown_report_eva_info Library mthread Library mthread_gui Library numerors Library qed Sources Parameters Signatureval create : ?random :bool -> int -> 'a t val add : 'a t -> key -> 'a -> unitval remove : 'a t -> key -> unitval 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 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