package coq
type 'a entry = 'a Grammar.GMake(CLexer).Entry.etype !'a constr_entry_key_gen = | ETName| ETReference| ETBigint| ETBinder of bool| ETConstr of 'a| ETConstrAsBinder of constr_as_binder_kind * 'a| ETPattern of bool * int option| ETOther of string * string
type constr_entry_key =
(production_level * production_position) constr_entry_key_gentype simple_constr_prod_entry_key =
production_level option constr_entry_key_gentype constr_prod_entry_key = | ETProdName| ETProdReference| ETProdBigint| ETProdConstr of production_level * production_position| ETProdPattern of int| ETProdOther of string * string| ETProdConstrList of production_level * production_position * Tok.t list| ETProdBinderList of binder_entry_kind
type !'a user_symbol = | Ulist1 of 'a user_symbol| Ulist1sep of 'a user_symbol * string| Ulist0 of 'a user_symbol| Ulist0sep of 'a user_symbol * string| Uopt of 'a user_symbol| Uentry of 'a| Uentryl of 'a * int
type (!'a6, !'b6, !'c6) ty_user_symbol = | TUlist1 : ('a, 'b, 'c) ty_user_symbol -> ('a list, 'b list, 'c list) ty_user_symbol| TUlist1sep : ('a0, 'b0, 'c0) ty_user_symbol * string -> ('a0 list, 'b0 list, 'c0 list) ty_user_symbol| TUlist0 : ('a1, 'b1, 'c1) ty_user_symbol -> ('a1 list, 'b1 list, 'c1 list) ty_user_symbol| TUlist0sep : ('a2, 'b2, 'c2) ty_user_symbol * string -> ('a2 list, 'b2 list, 'c2 list) ty_user_symbol| TUopt : ('a3, 'b3, 'c3) ty_user_symbol -> ('a3 option, 'b3 option, 'c3 option) ty_user_symbol| TUentry : ('a4, 'b4, 'c4) Genarg.ArgT.tag -> ('a4, 'b4, 'c4) ty_user_symbol| TUentryl : ('a5, 'b5, 'c5) Genarg.ArgT.tag * int -> ('a5, 'b5, 'c5) ty_user_symbol
type (!'self10, !'a7) symbol = | Atoken : Tok.t -> ('self, string) symbol| Alist1 : ('self0, 'a) symbol -> ('self0, 'a list) symbol| Alist1sep : ('self1, 'a0) symbol * ('self1, 'b) symbol -> ('self1, 'a0 list) symbol| Alist0 : ('self2, 'a1) symbol -> ('self2, 'a1 list) symbol| Alist0sep : ('self3, 'a2) symbol * ('self3, 'c) symbol -> ('self3, 'a2 list) symbol| Aopt : ('self4, 'a3) symbol -> ('self4, 'a3 option) symbol| Aself : ('self5, 'self5) symbol| Anext : ('self6, 'self6) symbol| Aentry : 'a4 entry -> ('self7, 'a4) symbol| Aentryl : 'a5 entry * int -> ('self8, 'a5) symbol| Arules : 'a6 rules list -> ('self9, 'a6) symbol
type !'a single_extend_statment =
string option * gram_assoc option * 'a production_rule listtype !'a extend_statment =
gram_position option * 'a single_extend_statment list