Module Pcoq.Rule

type ('self, 'trec, 'f, 'r) t
val stop : ('selfGramlib.Grammar.norec'r'r) t
val next : ('self_'a'r) t -> ('self_'b) Symbol.t -> ('selfGramlib.Grammar.mayrec'b -> 'a'r) t
val next_norec : ('selfGramlib.Grammar.norec'a'r) t -> ('selfGramlib.Grammar.norec'b) Symbol.t -> ('selfGramlib.Grammar.norec'b -> 'a'r) t