package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.0.1.tbz
sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7
sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a
doc/elpi.lexer_config/Elpi_lexer_config/Tokens/index.html
Module Elpi_lexer_config.Tokens
Source
Source
type token =
| VDASH
| USE_SIG
| USEONLY
| UNTYPED
| TYPEABBREV
| TYPE
| SYMBOL
| STRING of string
| SLASH
| SIGMA
| SIG
| SHORTEN
| RULE
| RTRI
| RPAREN
| REPLACE
| REMOVE
| RCURLY
| RBRACKET
| QUOTED of int * string
| QDASH
| PRED
| PIPE
| PI
| OR
| NIL
| NAMESPACE
| NAME
| MODULE
| MOD
| MINUSs
| MINUSr
| MINUSi
| MINUS
| MACRO
| LPAREN
| LOCALKIND
| LOCAL
| LCURLY
| LBRACKET
| KIND
| IS
| IO_COLON of char
| IO of char
| INTEGER of int
| INDEX
| IMPORT
| IFF
| IF
| FUNCTIONAL
| FUNC
| FULLSTOP
| FRESHUV
| FLOAT of float
| FIXITY of string
| FAMILY_TIMES of string
| FAMILY_TILDE of string
| FAMILY_TICK of string
| FAMILY_SHARP of string
| FAMILY_QMARK of string
| FAMILY_PLUS of string
| FAMILY_OR of string
| FAMILY_MINUS of string
| FAMILY_LT of string
| FAMILY_GT of string
| FAMILY_EXP of string
| FAMILY_EQ of string
| FAMILY_BTICK of string
| FAMILY_AND of string
| EXTERNAL
| EXPORTDEF
| EQ2
| EQ
| EOF
| DIV
| DDARROWBANG
| DDARROW
| DARROW
| CUT
| CONSTRAINT
| CONSTANT of string
| CONS
| CONJ2
| CONJ
| COLON
| CLOSED
| BIND
| BEFORE
| AS
| ARROW
| AFTER
| ACCUM_SIG
| ACCUMULATE
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>