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 : compare:('a ‑> 'a ‑> int) ‑> 'a list ‑> 'a list
val stable_sort : compare:('a ‑> 'a ‑> int) ‑> 'a list ‑> 'a list
val rev : 'a list ‑> 'a list
val is_empty : 'a list ‑> bool