Module Pcoq.Symbol

type ('self, 'trec, 'a) t
val nterm : 'a Entry.t -> ( 'self, Gramlib.Grammar.norec, 'a ) t
val nterml : 'a Entry.t -> string -> ( 'self, Gramlib.Grammar.norec, 'a ) t
val list0 : ( 'self, 'trec, 'a ) t -> ( 'self, 'trec, 'a list ) t
val list0sep : ( 'self, 'trec, 'a ) t -> ( 'self, Gramlib.Grammar.norec, unit ) t -> bool -> ( 'self, 'trec, 'a list ) t
val list1 : ( 'self, 'trec, 'a ) t -> ( 'self, 'trec, 'a list ) t
val list1sep : ( 'self, 'trec, 'a ) t -> ( 'self, Gramlib.Grammar.norec, unit ) t -> bool -> ( 'self, 'trec, 'a list ) t
val opt : ( 'self, 'trec, 'a ) t -> ( 'self, 'trec, 'a option ) t
val self : ( 'self, Gramlib.Grammar.mayrec, 'self ) t
val next : ( 'self, Gramlib.Grammar.mayrec, 'self ) t
val token : 'c Tok.p -> ( 'self, Gramlib.Grammar.norec, 'c ) t
val tokens : ty_pattern list -> ( 'self, Gramlib.Grammar.norec, unit ) t
val rules : 'a Rules.t list -> ( 'self, Gramlib.Grammar.norec, 'a ) t