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