Модуль типа 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) для сравнения объектов по физическому равенству (например, для изменяемых или циклических объектов).