package elpi
ELPI - Embeddable λProlog Interpreter
Install
Dune Dependency
Authors
Maintainers
Sources
elpi-1.17.4.tbz
sha256=e968c86e4ec474b896a2099547e6fa16f4b3ed33448bb571d4b348d92c3c70fb
sha512=5ea196cca5f15eadc36d83b2c894229218b25c9267da5c02f75510a27a8d13ca6ba072c7b0ef8138ac92aa03489d1cf77d270867daa7e25597ccd79d9e6d840c
doc/elpi.util/Elpi_util/Util/Hashtbl/Make/argument-1-H/index.html
Parameter Make.H
val hash : t -> int
A hashing function on keys. It must be such that if two keys are equal according to equal
, then they have identical hash values as computed by hash
. Examples: suitable (equal
, hash
) pairs for arbitrary key types include
- (
(=)
,hash
) for comparing objects by structure (provided objects do not contain floats) - (
(fun x y -> compare x y = 0)
,hash
) for comparing objects by structure and handlingStdlib.nan
correctly - (
(==)
,hash
) for comparing objects by physical equality (e.g. for mutable or cyclic objects).
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>