enumerate : int -> 'a list -> (int * 'a) list
STRUCTURE
Lib
SYNOPSIS
Number each element of a list, in ascending order.
DESCRIPTION
An invocation of enumerate i [x1, ..., xn] returns the list [(i,x1), (i+1,x2), ..., (i+n-1,xn)].
FAILURE
Never fails.
EXAMPLE
- enumerate 0 ["komodo", "iguana", "gecko", "gila"];
> val it = [(0, "komodo"), (1, "iguana"), (2, "gecko"), (3, "gila")]

HOL  Kananaskis-14