Name | _to_
|
Definition | (l:val(T:type)) _to_ (r:val(T)) : expr(range(T))
|
Example | forseq i in 1 to 10 do ( print "Using a range" )
|
Defined in | types.l
|
Implementation | lard
|
Infix | _to_ : infix(60,left).
|
Description | Make a range. A range is an index pair which notional corresponds to
a range of values across the type T.
|