Type Definition ProductionID
ascesis::grammar
type ProductionID = usize;
An integer used to identify a production.