1\DOC upto
2
3\TYPE {upto : int -> int -> int list}
4
5\SYNOPSIS
6Builds a list of integers.
7
8\DESCRIBE
9An invocation {upto b t} returns the list {[b, b+1, ..., t]}, if {b <= t}.
10Otherwise, the empty list is returned.
11
12\FAILURE
13Never fails.
14
15\EXAMPLE
16{
17- upto 2 10;
18> val it = [2,3,4,5,6,7,8,9,10]
19}
20
21\ENDDOC
22