package elpi
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.4.5.tbz
sha256=71c93a5ea0bdf19f656f70984bc2bf681d5639c9230325f3675e2f5f8d6726f2
sha512=d6a87bf1ba6bfb6f773075295137d037e007252ecf16aa026c151df11bc498efe56d5d5369920c2dad3b53373cba75378731cd752d08e07353a1c68063d2cd2a
doc/src/elpi.lexer_config/elpi_lexer_config.ml.html
Source file elpi_lexer_config.ml
1 2 3 4 5 6 7(* generated by dune *) (** @canonical Elpi_lexer_config.Lexer_config *) module Lexer_config = Elpi_lexer_config__Lexer_config (** @canonical Elpi_lexer_config.Tokens *) module Tokens = Elpi_lexer_config__Tokens
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>