module type SeededHashedType =sig
..end
函子 MoreLabels.Hashtbl.MakeSeeded
的输入签名。
type
t
哈希表键的类型。
val equal : t ->
t -> bool
用于比较键的相等谓词。
val seeded_hash : int -> t -> int
键的带种子哈希函数。第一个参数是种子。必须满足以下条件:如果 equal x y
为真,则对于任何 seed
值,seeded_hash seed x = seeded_hash seed y
都成立。对于 seeded_hash
,一个合适的选项是以下函数 MoreLabels.Hashtbl.seeded_hash
。