Rule (rocq-runtime.Procq.Rule)

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

val 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

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