Module Regexp.KSource

Sourcetype 'g t =
  1. | Accept
  2. | Done
  3. | More of 'g Expr.t * 'g t
  4. | Reducing of {
    1. reduction : 'g Reductions.t;
    2. steps : 'g Redgraph.step Utils.Misc.indexset;
    3. next : 'g t;
    }
Sourceval compare : 'g t -> 'g t -> int
Sourceval cmon : ?lr1:('g Info.lr1 Fix.Indexing.index -> Cmon.t) -> ?step:('g Redgraph.step Fix.Indexing.index -> Cmon.t) -> 'g t -> Cmon.t
Sourceval derive : 'g Info.grammar -> 'g Redgraph.graph -> 'g Info.lr1 Utils.Misc.indexset -> 'g t -> ('g Label.t * 'g t) list