Rule (u.3758aa3ddc38cffa23da0eeb3fa7893a.rocq-runtime.9.0.0.doc.rocq-runtime.parsing.Procq.Rule)

Sourcetype ('self, 'trec, 'f, 'r) t

Sourceval stop : ('self, Gramlib.Grammar.norec, 'r, 'r) t

val next : 
  ('self, _, 'a, 'r) t ->
  ('self, _, 'b) Symbol.t ->
  ('self, Gramlib.Grammar.mayrec, 'b -> 'a, 'r) t

Source

val next_norec : 
  ('self, Gramlib.Grammar.norec, 'a, 'r) t ->
  ('self, Gramlib.Grammar.norec, 'b) Symbol.t ->
  ('self, Gramlib.Grammar.norec, 'b -> 'a, 'r) t