Rule (coq-core.Pcoq.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