Spec-Zone.ru › OCaml

Модуль типа 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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API