Модуль типа Hashtbl.SeededHashedType
module type SeededHashedType = sig .. end
Входная сигнатура функтора 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 является функция Hashtbl.seeded_hash ниже.
© 1995-2024 INRIA.
https://ocaml.org/manual/5.2/api/Hashtbl.SeededHashedType.html