Spec-Zone.ru › OCaml

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

Spec-Zone.ru

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