package elpi
ELPI - Embeddable λProlog Interpreter
Install
Dune Dependency
Authors
Maintainers
Sources
elpi-1.16.10.tbz
sha256=c64313f5cd5e5f1697ce73be4268f03e0038dee4bed6a880c311b80031efe4ec
sha512=908978042c6440bdf1615e8762de625ced8f812627ba10f566cdd3d031971e6195156e69eeafcbc6ab5e1d9338bf546ae4a67abd69b7fcd98d04857dd32b2696
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)"
>