Production (p.lrgrep.0.9.doc.kernel.Kernel.Info.Production)

include INDEXED with type 'g n = 'g production

Sourcetype 'g n = 'g production

Sourceval cardinal : 'g grammar -> 'g n Fix.Indexing.cardinal

Sourceval of_int : 'g grammar -> int -> 'g n Fix.Indexing.index

val lhs : 
  'g grammar ->
  'g n Fix.Indexing.index ->
  'g nonterminal Fix.Indexing.index

lhs p returns the left-hand side nonterminal of production p

val rhs : 
  'g grammar ->
  'g n Fix.Indexing.index ->
  'g symbol Fix.Indexing.index array

rhs p returns the right-hand side symbols of production p

Sourceval length : 'g grammar -> 'g n Fix.Indexing.index -> int

length p returns the number of symbols on the right-hand side of production p

Sourceval kind : 'g grammar -> 'g n Fix.Indexing.index -> [ `REGULAR | `START ]

Returns `REGULAR for ordinary productions and `START for pseudo (start) productions generated for entrypoints

Sourceval all : 'g grammar -> 'g n Utils.Misc.indexset

all g is the set of all productions in grammar g