module List_1: sig .. end
Renames basic operations on lists.
val empty_list : unit -> 'a list
Constructs an empty list.
val cons_list : 'a * 'a list -> 'a list
Constructs from the given pair (x, lx) the list whose first element is x and
whose rest is lx.
val is_empty_list : 'a list -> bool
Tests whether a list is empty.
val head : 'a list -> 'a
Returns the first element of a list.
- Error if the list is empty.
val tail : 'a list -> 'a list
Returns the given list without its first element.
- Error if the given list is empty.