sig   module List :     sig       type 'a t = 'a list       type 'a enumerable = 'a t       type 'a mappable = 'a t       val is_empty : 'a list -> bool       val cons : '-> 'a list -> 'a list       val first : 'a list -> 'a       val hd : 'a list -> 'a       val tl : 'a list -> 'a list       val last : 'a list -> 'a       val length : 'a list -> int       val at : '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 singleton : '-> 'a list       val make : int -> '-> 'a list       val range : int -> [< `Downto | `To ] -> int -> int list       val init : int -> (int -> 'a) -> 'a list       val unfold : '-> ('-> ('a * 'b) option) -> 'a list       val unfold_exc : (unit -> 'a) -> 'a list * exn       val iter : ('-> unit) -> 'a list -> unit       val iteri : (int -> '-> unit) -> 'a list -> unit       val map : ('-> 'b) -> 'a list -> 'b list       val rev_map : ('-> 'b) -> 'a list -> 'b list       val mapi : (int -> '-> 'b) -> 'a list -> 'b list       val fold_left : ('-> '-> 'a) -> '-> 'b list -> 'a       val fold_lefti : ('-> int -> '-> 'a) -> '-> 'b list -> 'a       val fold_right : ('-> '-> 'b) -> 'a list -> '-> 'b       val fold_righti : (int -> '-> '-> 'a) -> 'b list -> '-> 'a       val reduce : ('-> '-> 'a) -> 'a list -> 'a       val max : 'a list -> 'a       val min : 'a list -> 'a       val sum : int list -> int       val fsum : float list -> float       val kahan_sum : float list -> float       val min_max : ?cmp:('-> '-> int) -> 'a list -> 'a * 'a       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 mem : '-> 'a list -> bool       val mem_cmp : ('-> '-> int) -> '-> 'a list -> bool       val memq : '-> 'a list -> bool       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 subset : ('-> '-> int) -> 'a list -> 'b list -> bool       val find : ('-> bool) -> 'a list -> 'a       val find_exn : ('-> bool) -> exn -> 'a list -> 'a       val findi : (int -> '-> bool) -> 'a list -> int * 'a       val find_map : ('-> 'b option) -> 'a list -> 'b       val rfind : ('-> bool) -> 'a list -> 'a       val filter : ('-> bool) -> 'a list -> 'a list       val filteri : (int -> '-> bool) -> 'a list -> 'a list       val filter_map : ('-> 'b option) -> 'a list -> 'b list       val filteri_map : (int -> '-> 'b option) -> 'a list -> 'b list       val find_all : ('-> bool) -> 'a list -> 'a list       val partition : ('-> bool) -> 'a list -> 'a list * 'a list       val index_of : '-> 'a list -> int option       val index_ofq : '-> 'a list -> int option       val rindex_of : '-> 'a list -> int option       val rindex_ofq : '-> 'a list -> int option       val unique : ?eq:('-> '-> bool) -> 'a list -> 'a list       val unique_cmp : ?cmp:('-> '-> int) -> 'a list -> 'a list       val unique_hash :         ?hash:('-> int) -> ?eq:('-> '-> bool) -> 'a list -> 'a list       val assoc : '-> ('a * 'b) list -> 'b       val assoc_inv : '-> ('a * 'b) list -> 'a       val remove_assoc : '-> ('a * 'b) list -> ('a * 'b) list       val mem_assoc : '-> ('a * 'b) list -> bool       val assq : '-> ('a * 'b) list -> 'b       val assq_inv : '-> ('a * 'b) list -> 'a       val remove_assq : '-> ('a * 'b) list -> ('a * 'b) list       val mem_assq : '-> ('a * 'b) list -> bool       val modify : '-> ('-> 'b) -> ('a * 'b) list -> ('a * 'b) list       val modify_def :         '-> '-> ('-> 'b) -> ('a * 'b) list -> ('a * 'b) list       val modify_opt :         '-> ('b option -> 'b option) -> ('a * 'b) list -> ('a * 'b) list       val modify_at : int -> ('-> 'a) -> 'a list -> 'a list       val modify_opt_at : int -> ('-> 'a option) -> 'a list -> 'a list       val split_at : int -> 'a list -> 'a list * 'a list       val split_nth : int -> 'a list -> 'a list * 'a list       val remove : 'a list -> '-> 'a list       val remove_if : ('-> bool) -> 'a list -> 'a list       val remove_at : int -> 'a list -> 'a list       val remove_all : 'a list -> '-> 'a list       val take : int -> 'a list -> 'a list       val ntake : int -> 'a list -> 'a list list       val drop : int -> 'a list -> 'a list       val takedrop : int -> 'a list -> 'a list * 'a list       val take_while : ('-> bool) -> 'a list -> 'a list       val drop_while : ('-> bool) -> 'a list -> 'a list       val span : ('-> bool) -> 'a list -> 'a list * 'a list       val nsplit : ('-> bool) -> 'a list -> 'a list list       val group_consecutive : ('-> '-> bool) -> 'a list -> 'a list list       val interleave : ?first:'-> ?last:'-> '-> 'a list -> 'a list       val enum : 'a list -> 'BatEnum.t       val of_enum : 'BatEnum.t -> 'a list       val backwards : 'a list -> 'BatEnum.t       val of_backwards : 'BatEnum.t -> 'a 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 merge : ('-> '-> int) -> 'a list -> 'a list -> 'a list       val sort_uniq : ('-> '-> int) -> 'a list -> 'a list       val sort_unique : ('-> '-> int) -> 'a list -> 'a list       val group : ('-> '-> int) -> 'a list -> 'a list list       val cartesian_product : 'a list -> 'b list -> ('a * 'b) list       val n_cartesian_product : 'a list list -> 'a list list       val transpose : 'a list list -> 'a list list       val print :         ?first:string ->         ?last:string ->         ?sep:string ->         ('BatInnerIO.output -> '-> unit) ->         'BatInnerIO.output -> 'b list -> unit       val eq : 'BatOrd.eq -> 'a list BatOrd.eq       val ord : 'BatOrd.ord -> 'a list BatOrd.ord       val compare : 'BatOrd.comp -> 'a list BatOrd.comp       module Eq = BatList.Eq       module Ord = BatList.Ord       module Comp = BatList.Comp       val nth : 'a list -> int -> 'a       val takewhile : ('-> bool) -> 'a list -> 'a list       val dropwhile : ('-> bool) -> 'a list -> 'a list       module Exceptionless = BatList.Exceptionless       module Infix = BatList.Infix       module Labels = BatList.Labels       val ( @ ) : 'a list -> 'a list -> 'a list     end end