type production_position =
type production_level =
| NextLevel |
| NumLevel of int |
| DefaultLevel | Interpreted differently at the border or inside a rule |
User-level types used to tell how to parse or interpret of the non-terminal
type 'a constr_entry_key_gen =
Entries level (left-hand side of grammar rules)
Entries used in productions, vernac side (e.g. "x bigint" or "x ident")
Entries used in productions (in right-hand-side of grammar rules), to parse non-terminals
and constr_prod_entry_key =
AST for user-provided entries
type ('a, 'b, 'c) ty_user_symbol =
| TUlist1 : ('a, 'b, 'c) ty_user_symbol -> ('a list, 'b list, 'c list) ty_user_symbol |
| TUlist1sep : ('a, 'b, 'c) ty_user_symbol * string -> ('a list, 'b list, 'c list) ty_user_symbol |
| TUlist0 : ('a, 'b, 'c) ty_user_symbol -> ('a list, 'b list, 'c list) ty_user_symbol |
| TUlist0sep : ('a, 'b, 'c) ty_user_symbol * string -> ('a list, 'b list, 'c list) ty_user_symbol |
| TUopt : ('a, 'b, 'c) ty_user_symbol -> ('a option, 'b option, 'c option) ty_user_symbol |
| TUentry : ('a, 'b, 'c) Genarg.ArgT.tag -> ('a, 'b, 'c) ty_user_symbol |
| TUentryl : ('a, 'b, 'c) Genarg.ArgT.tag * int -> ('a, 'b, 'c) ty_user_symbol |