val hd_exn : 'a list -> 'a
val length : 'a list -> int
val rev_append : 'a list -> 'a list -> 'a list
val tl_exn : 'a list -> 'a list
val unzip : ('a * 'b) list -> 'a list * 'b list
val exists : 'a list -> f:('a -> bool) -> bool
val exists2_ok : 'a list -> 'b list -> f:('a -> 'b -> bool) -> bool
val find_exn : 'a list -> f:('a -> bool) -> 'a
val fold : 'a list -> init:'b -> f:('b -> 'a -> 'b) -> 'b
val fold2_ok : 'a list -> 'b list -> init:'c -> f:('c -> 'a -> 'b -> 'c) -> 'c
val for_all : 'a list -> f:('a -> bool) -> bool
val for_all2_ok : 'a list -> 'b list -> f:('a -> 'b -> bool) -> bool
val iter : 'a list -> f:('a -> unit) -> unit
val iter2_ok : 'a list -> 'b list -> f:('a -> 'b -> unit) -> unit
val nontail_map : 'a list -> f:('a -> 'b) -> 'b list
val nontail_mapi : 'a list -> f:(int -> 'a -> 'b) -> 'b list
val partition : 'a list -> f:('a -> bool) -> 'a list * 'a list
val rev_map : 'a list -> f:('a -> 'b) -> 'b list
val rev_map2_ok : 'a list -> 'b list -> f:('a -> 'b -> 'c) -> 'c list
val sort : 'a list -> compare:('a -> 'a -> int) -> 'a list
val stable_sort : 'a list -> compare:('a -> 'a -> int) -> 'a list
val rev : 'a list -> 'a list
val is_empty : 'a list -> bool