elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.lexer_config
type token =
| VDASH
| USE_SIG
| USEONLY
| TYPEABBREV
| TYPE
| STRING of string
| SLASH
| SIGMA
| SIG
| SHORTEN
| RULE
| RPAREN
| RCURLY
| RBRACKET
| QUOTED of string
| QDASH
| PRED
| PIPE
| PI
| OR
| NIL
| NAMESPACE
| NAME
| MODULE
| MODE
| 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
| 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
| DARROW
| CUT
| CONSTRAINT
| CONSTANT of string
| CONS
| CONJ2
| CONJ
| COLON
| CLOSED
| BIND
| BEFORE
| AS
| ARROW
| AFTER
| ACCUM_SIG
| ACCUMULATE