el : int -> 'a list -> 'a
STRUCTURE
Lib
SYNOPSIS
Extracts a specified element from a list.
DESCRIPTION
el i [x1,...,xn]
returns
xi
. Note that the elements are numbered starting from
1
, not
0
.
FAILURE
Fails with
el
if the integer argument is less than 1 or greater than the length of the list.
EXAMPLE
- el 3 [1,2,7,1]; > val it = 7 : int
SEEALSO
index
HOL
Kananaskis-14