Тип модуля MoreLabels.Hashtbl.HashedType
module type HashedType = sig .. end
Входная сигнатура функтора MoreLabels.Hashtbl.Make.
type t
Тип ключей хеш-таблицы.
val equal : t -> t -> bool
Предикат равенства, используемый для сравнения ключей.
val hash : t -> int
Функция хеширования для ключей. Она должна быть такой, чтобы если два ключа равны согласно equal, то они имеют идентичные значения хеша, вычисленные функцией hash. Примеры: подходящие (equal, hash) пары для произвольных типов ключей включают:
- (
(=),MoreLabels.Hashtbl.HashedType.hash) для сравнения объектов по структуре (при условии, что объекты не содержат чисел с плавающей точкой) - (
(fun x y -> compare x y = 0),MoreLabels.Hashtbl.HashedType.hash) для сравнения объектов по структуре и корректной обработкиnan - (
(==),MoreLabels.Hashtbl.HashedType.hash) для сравнения объектов по физическому равенству (например, для изменяемых или циклических объектов).