Module Info.ProductionSource

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
Sourceval length : 'g grammar -> 'g n Fix.Indexing.index -> int
Sourceval kind : 'g grammar -> 'g n Fix.Indexing.index -> [ `REGULAR | `START ]