el : int -> 'a list -> 'a
SYNOPSIS
Extracts a specified element from a list.
DESCRIBE
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
Lib
,
hd
,
tl
,
index
HOL
Kananaskis 0