Тип модуля Hashtbl.HashedType

module type HashedType = sig .. end

Входная сигнатура функтора Hashtbl.Make.

type t

Тип ключей хеш-таблицы.

val equal : t -> t -> bool

Предикат равенства, используемый для сравнения ключей.

val hash : t -> int

Функция хеширования для ключей. Она должна обеспечивать, чтобы если два ключа равны согласно equal, тогда они имеют идентичные значения хеша, вычисленные функцией hash. Примеры: подходящие (equal, hash) пары для произвольных типов ключей включают

((=), Hashtbl.HashedType.hash) для сравнения объектов по структуре (при условии, что объекты не содержат чисел с плавающей точкой)
((fun x y -> compare x y = 0), Hashtbl.HashedType.hash) для сравнения объектов по структуре и правильной обработки nan
((==), Hashtbl.HashedType.hash) для сравнения объектов по физическому равенству (например, для изменяемых или циклических объектов).