Module ExtS.Rule

type ('self, 'trec, 'f, 'r) t
val stop : ('selfnorec'r'r) t
val next : ('self_'a'r) t -> ('self_'b) Symbol.t -> ('selfmayrec'b -> 'a'r) t
val next_norec : ('selfnorec'a'r) Rule.t -> ('selfnorec'b) Symbol.t -> ('selfnorec'b -> 'a'r) t