/**
* Returns a ProducedType corresponding to {@code Range<T>}
*
* @param rt The ProducedType corresponding to {@code T}
* @return The ProducedType corresponding to {@code Range<T>}
*/
public ProducedType getRangeType(ProducedType rt) {
return Util.producedType(getRangeDeclaration(), rt);
}
/**
* Returns a ProducedType corresponding to {@code Iterator<T>}
*
* @param et The ProducedType corresponding to {@code T}
* @return The ProducedType corresponding to {@code Iterator<T>}
*/
public ProducedType getIteratorType(ProducedType et) {
return Util.producedType(getIteratorDeclaration(), et);
}