Модуль типа MoreLabels.Hashtbl.SeededHashedType
module type SeededHashedType = sig .. end
Ввод подпись функтора MoreLabels.Hashtbl.MakeSeeded.
- Since 4.00
type t
Тип ключей хеш-таблицы.
val equal : t -> t -> bool
Предикат равенства, используемый для сравнения ключей.
val seeded_hash : int -> t -> int
Функция хеширования с начальным значением для ключей. Первый аргумент — начальное значение. Должно выполняться условие, что если equal x y истинно, то seeded_hash seed x = seeded_hash seed y для любого значения seed. Подходящий выбор для seeded_hash — функция MoreLabels.Hashtbl.seeded_hash ниже.
© 1995-2024 INRIA.
https://ocaml.org/manual/5.2/api/MoreLabels.Hashtbl.SeededHashedType.html