module Inria_syntax:sig
..end
type
location = {
|
start_pos : |
|
end_pos : |
|
start_line : |
|
start_col : |
type
regular_expression =
| |
Epsilon |
| |
Characters of |
| |
Eof |
| |
Sequence of |
| |
Alternative of |
| |
Repetition of |
| |
Bind of |
type ('a, 'b)
entry = {
|
name : |
|
shortest : |
|
args : |
|
clauses : |
type
lexer_definition = {
|
header : |
|
entrypoints : |
|
trailer : |