Up – Package index » doc » Library alt-ergo-parsers » AltErgoParsers » Native_lexer » Parser

Module `Native_lexer.Parser`Source

Sourceval file : Lexing.lexbuf -> AltErgoLib.Parsed.file

Sourceval expr : Lexing.lexbuf -> AltErgoLib.Parsed.lexpr

Sourceval trigger : Lexing.lexbuf -> AltErgoLib.Parsed.lexpr list * bool