package elpi
ELPI - Embeddable λProlog Interpreter
Install
dune-project
Dependency
Authors
Maintainers
Sources
elpi-3.0.1.tbz
sha256=af8074c67e94095b25556e1d1e2aaaf0d04c19f373e38919cb8f0a0d6786aae7
sha512=774612085cd3ff267bfd1aa35b7dd2629cde066f9d2393185e28f21d2c86a24c2e36ef1293dee1b2cba37636b6deb6dc6e688cebdb4e2aaff922e06de15dba0a
doc/elpi.parser/Elpi_parser/Lexer/index.html
Module Elpi_parser.Lexer
Source
Source
val version_test :
Lexing.lexbuf ->
(int * int * int) Elpi_util.Util.StrMap.t ->
Elpi_util.Util.StrMap.key option ->
string ->
string ->
string ->
string ->
bool
Source
val linecomment :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_linecomment_rec :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val linecomment_drop :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_linecomment_drop_rec :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val linecomment_skip :
(int * int * int) Elpi_util.Util.StrMap.t ->
int ->
Lexing.lexbuf ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_linecomment_skip_rec :
(int * int * int) Elpi_util.Util.StrMap.t ->
int ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val linecomment_if :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_linecomment_if_rec :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val skip_lines_endif :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_skip_lines_endif_rec :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val skip_lines :
(int * int * int) Elpi_util.Util.StrMap.t ->
int ->
Lexing.lexbuf ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_skip_lines_rec :
(int * int * int) Elpi_util.Util.StrMap.t ->
int ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val multilinecomment :
(int * int * int) Elpi_util.Util.StrMap.t ->
int ->
Lexing.lexbuf ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_multilinecomment_rec :
(int * int * int) Elpi_util.Util.StrMap.t ->
int ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_string_rec :
Lexing.position ->
Buffer.t ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_quoted_rec :
Lexing.position ->
int ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val quoted_inner :
Lexing.position ->
Buffer.t ->
int ->
int ->
Lexing.lexbuf ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_quoted_inner_rec :
Lexing.position ->
Buffer.t ->
int ->
int ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
Source
val token :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
Elpi_lexer_config.Tokens.token
Source
val __ocaml_lex_token_rec :
(int * int * int) Elpi_util.Util.StrMap.t ->
Lexing.lexbuf ->
int ->
Elpi_lexer_config.Tokens.token
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>