Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
index : 'a -> 'a list -> int
SYNOPSIS
Returns position of given element in list.
DESCRIPTION
The call index x l where l is a list returns the position number of the first
instance of x in the list, failing if there is none. The indices start at zero,
corresponding to el.
EXAMPLE
# index "j" (explode "abcdefghijklmnopqrstuvwxyz");;
val it : int = 9
This is a sort of inverse to the indexing into a string by el:
# el 9 (explode "abcdefghijklmnopqrstuvwxyz");;
val it : string = "j"