sig   val length : 'a list -> int   val cons : '-> 'a list -> 'a list   val hd : 'a list -> 'a   val tl : 'a list -> 'a list   val nth : 'a list -> int -> 'a   val rev : 'a list -> 'a list   val append : 'a list -> 'a list -> 'a list   val rev_append : 'a list -> 'a list -> 'a list   val concat : 'a list list -> 'a list   val flatten : 'a list list -> 'a list   val iter : ('-> unit) -> 'a list -> unit   val iteri : (int -> '-> unit) -> 'a list -> unit   val map : ('-> 'b) -> 'a list -> 'b list   val mapi : (int -> '-> 'b) -> 'a list -> 'b list   val rev_map : ('-> 'b) -> 'a list -> 'b list   val fold_left : ('-> '-> 'a) -> '-> 'b list -> 'a   val fold_right : ('-> '-> 'b) -> 'a list -> '-> 'b   val iter2 : ('-> '-> unit) -> 'a list -> 'b list -> unit   val map2 : ('-> '-> 'c) -> 'a list -> 'b list -> 'c list   val rev_map2 : ('-> '-> 'c) -> 'a list -> 'b list -> 'c list   val fold_left2 : ('-> '-> '-> 'a) -> '-> 'b list -> 'c list -> 'a   val fold_right2 : ('-> '-> '-> 'c) -> 'a list -> 'b list -> '-> 'c   val for_all : ('-> bool) -> 'a list -> bool   val exists : ('-> bool) -> 'a list -> bool   val for_all2 : ('-> '-> bool) -> 'a list -> 'b list -> bool   val exists2 : ('-> '-> bool) -> 'a list -> 'b list -> bool   val mem : '-> 'a list -> bool   val memq : '-> 'a list -> bool   val find : ('-> bool) -> 'a list -> 'a   val filter : ('-> bool) -> 'a list -> 'a list   val find_all : ('-> bool) -> 'a list -> 'a list   val partition : ('-> bool) -> 'a list -> 'a list * 'a list   val assoc : '-> ('a * 'b) list -> 'b   val assq : '-> ('a * 'b) list -> 'b   val mem_assoc : '-> ('a * 'b) list -> bool   val mem_assq : '-> ('a * 'b) list -> bool   val remove_assoc : '-> ('a * 'b) list -> ('a * 'b) list   val remove_assq : '-> ('a * 'b) list -> ('a * 'b) list   val split : ('a * 'b) list -> 'a list * 'b list   val combine : 'a list -> 'b list -> ('a * 'b) list   val sort : ('-> '-> int) -> 'a list -> 'a list   val stable_sort : ('-> '-> int) -> 'a list -> 'a list   val fast_sort : ('-> '-> int) -> 'a list -> 'a list   val sort_uniq : ('-> '-> int) -> 'a list -> 'a list   val merge : ('-> '-> int) -> 'a list -> 'a list -> 'a list end