[][src]Type Definition ascesis::grammar::ProductionID

type ProductionID = usize;

An integer used to identify a production.