package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-1.18.2.tbz
sha256=bac398ba41d0fe1e1807196162b024313563366f7b86ae0802b23d6ef0f3cbf9
sha512=e9e9e14adf6ef929cd28516ddffdc67faafc7dbe683dce42818329fedc9d1a22992333d8948cb427fec5f5e442d9440c0f450d81a76c9c1e87050c434441cd74
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)"
>