| Member | Description |
member Head : 'a |
The module 'List' contains additional values and functions related to this type,
e.g. List.fold_left, List.append etc.
|
member IsEmpty : bool |
The module 'List' contains additional values and functions related to this type.
|
member Item : int -> 'a with get |
Get the element of the list at the given position. Note lists are represented
as linked lists so this is an O(n) operation.
|
member Length : int |
The module 'List' contains additional values and functions related to this type.
|
member Tail : 'a list |
The module 'List' contains additional values and functions related to this type.
|