package lrgrep
Analyse the stack of a Menhir-generated LR parser using regular expressions
Install
dune-project
Dependency
Authors
Maintainers
Sources
lrgrep-0.3.tbz
sha256=84a1874d0c063da371e19c84243aac7c40bfcb9aaf204251e0eb0d1f077f2cde
sha512=5a16ff42a196fd741bc64a1bdd45b4dca0098633e73aa665829a44625ec15382891c3643fa210dbe3704336eab095d4024e093e37ae5313810f6754de6119d55
doc/kernel/Kernel/Reachability/module-type-S/index.html
Module type Reachability.SSource
type reduction = {production : g Info.production Fix.Indexing.index;lookahead : g Info.terminal Utils.Misc.indexset;steps : g Info.transition Fix.Indexing.index list;state : g Info.lr1 Fix.Indexing.index;
}val unreduce : g Info.goto_transition Fix.Indexing.index -> reduction listmodule Classes : sig ... endmodule Coercion : sig ... endmodule Tree : sig ... endmodule Cell : sig ... endmodule Analysis : sig ... end