% COL signature for integer lists, and some arith functions

tuple 	: type
nul 	: tuple
new	: int -> tuple -> tuple
sqr	: int -> int
plus,times : int -> int -> int
size	: tuple -> int
getstring : string
%mapfn 	: (int -> int) -> tuple -> tuple
%fold    : (int -> int -> int) -> tuple -> int

$