Name range
Definition range(T:type) : type/?TT>
Defined in types.l
Implementation lard
Description A range is an index pair which notional corresponds to a range of values across the type T.