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 -> '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 -> 'a list   val make : int -> 'a -> 'a list   val range : int -> [< `Downto | `To ] -> int -> int list   val init : int -> (int -> 'a) -> 'a list   val unfold : 'b -> ('b -> ('a * 'b) option) -> 'a list   val unfold_exc : (unit -> 'a) -> 'a list * exn   val iter : ('a -> unit) -> 'a list -> unit   val iteri : (int -> 'a -> unit) -> 'a list -> unit   val map : ('a -> 'b) -> 'a list -> 'b list   val rev_map : ('a -> 'b) -> 'a list -> 'b list   val mapi : (int -> 'a -> 'b) -> 'a list -> 'b list   val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b list -> 'a   val fold_lefti : ('a -> int -> 'b -> 'a) -> 'a -> 'b list -> 'a   val fold_right : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b   val fold_righti : (int -> 'b -> 'a -> 'a) -> 'b list -> 'a -> 'a   val reduce : ('a -> 'a -> '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:('a -> 'a -> int) -> 'a list -> 'a * 'a   val iter2 : ('a -> 'b -> unit) -> 'a list -> 'b list -> unit   val map2 : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list   val rev_map2 : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list   val fold_left2 : ('a -> 'b -> 'c -> 'a) -> 'a -> 'b list -> 'c list -> 'a   val fold_right2 : ('a -> 'b -> 'c -> 'c) -> 'a list -> 'b list -> 'c -> 'c   val mem : 'a -> 'a list -> bool   val mem_cmp : ('a -> 'a -> int) -> 'a -> 'a list -> bool   val memq : 'a -> 'a list -> bool   val for_all : ('a -> bool) -> 'a list -> bool   val exists : ('a -> bool) -> 'a list -> bool   val for_all2 : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool   val exists2 : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool   val subset : ('a -> 'b -> int) -> 'a list -> 'b list -> bool   val find : ('a -> bool) -> 'a list -> 'a   val find_exn : ('a -> bool) -> exn -> 'a list -> 'a   val findi : (int -> 'a -> bool) -> 'a list -> int * 'a   val find_map : ('a -> 'b option) -> 'a list -> 'b   val rfind : ('a -> bool) -> 'a list -> 'a   val filter : ('a -> bool) -> 'a list -> 'a list   val filteri : (int -> 'a -> bool) -> 'a list -> 'a list   val filter_map : ('a -> 'b option) -> 'a list -> 'b list   val filteri_map : (int -> 'a -> 'b option) -> 'a list -> 'b list   val find_all : ('a -> bool) -> 'a list -> 'a list   val partition : ('a -> bool) -> 'a list -> 'a list * 'a list   val index_of : 'a -> 'a list -> int option   val index_ofq : 'a -> 'a list -> int option   val rindex_of : 'a -> 'a list -> int option   val rindex_ofq : 'a -> 'a list -> int option   val unique : ?eq:('a -> 'a -> bool) -> 'a list -> 'a list   val unique_cmp : ?cmp:('a -> 'a -> int) -> 'a list -> 'a list   val unique_hash :     ?hash:('a -> int) -> ?eq:('a -> 'a -> bool) -> 'a list -> 'a list   val assoc : 'a -> ('a * 'b) list -> 'b   val assoc_inv : 'b -> ('a * 'b) list -> 'a   val remove_assoc : 'a -> ('a * 'b) list -> ('a * 'b) list   val mem_assoc : 'a -> ('a * 'b) list -> bool   val assq : 'a -> ('a * 'b) list -> 'b   val assq_inv : 'b -> ('a * 'b) list -> 'a   val remove_assq : 'a -> ('a * 'b) list -> ('a * 'b) list   val mem_assq : 'a -> ('a * 'b) list -> bool   val modify : 'a -> ('b -> 'b) -> ('a * 'b) list -> ('a * 'b) list   val modify_def : 'b -> 'a -> ('b -> 'b) -> ('a * 'b) list -> ('a * 'b) list   val modify_opt :     'a -> ('b option -> 'b option) -> ('a * 'b) list -> ('a * 'b) list   val modify_at : int -> ('a -> 'a) -> 'a list -> 'a list   val modify_opt_at : int -> ('a -> '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 -> 'a list   val remove_if : ('a -> bool) -> 'a list -> 'a list   val remove_at : int -> 'a list -> 'a list   val remove_all : 'a list -> 'a -> '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 : ('a -> bool) -> 'a list -> 'a list   val drop_while : ('a -> bool) -> 'a list -> 'a list   val span : ('a -> bool) -> 'a list -> 'a list * 'a list   val nsplit : ('a -> bool) -> 'a list -> 'a list list   val group_consecutive : ('a -> 'a -> bool) -> 'a list -> 'a list list   val interleave : ?first:'a -> ?last:'a -> 'a -> 'a list -> 'a list   val enum : 'a list -> 'a BatEnum.t   val of_enum : 'a BatEnum.t -> 'a list   val backwards : 'a list -> 'a BatEnum.t   val of_backwards : 'a BatEnum.t -> 'a list   val split : ('a * 'b) list -> 'a list * 'b list   val combine : 'a list -> 'b list -> ('a * 'b) list   val sort : ('a -> 'a -> int) -> 'a list -> 'a list   val stable_sort : ('a -> 'a -> int) -> 'a list -> 'a list   val fast_sort : ('a -> 'a -> int) -> 'a list -> 'a list   val merge : ('a -> 'a -> int) -> 'a list -> 'a list -> 'a list   val sort_uniq : ('a -> 'a -> int) -> 'a list -> 'a list   val sort_unique : ('a -> 'a -> int) -> 'a list -> 'a list   val group : ('a -> 'a -> 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 ->     ('a BatInnerIO.output -> 'b -> unit) ->     'a BatInnerIO.output -> 'b list -> unit   val eq : 'a BatOrd.eq -> 'a list BatOrd.eq   val ord : 'a BatOrd.ord -> 'a list BatOrd.ord   val compare : 'a BatOrd.comp -> 'a list BatOrd.comp   module Eq :     functor (T : BatOrd.Eq) -> sig type t = T.t list val eq : t BatOrd.eq end   module Ord :     functor (T : BatOrd.Ord) ->       sig type t = T.t list val ord : t BatOrd.ord end   module Comp :     functor (T : BatOrd.Comp) ->       sig type t = T.t list val compare : t BatOrd.comp end   val nth : 'a list -> int -> 'a   val takewhile : ('a -> bool) -> 'a list -> 'a list   val dropwhile : ('a -> bool) -> 'a list -> 'a list   module Exceptionless :     sig       val find : ('a -> bool) -> 'a list -> 'a option       val rfind : ('a -> bool) -> 'a list -> 'a option       val findi : (int -> 'a -> bool) -> 'a list -> (int * 'a) option       val split_at :         int ->         'a list -> [ `Invalid_argument of string | `Ok of 'a list * 'a list ]       val at : 'a list -> int -> [ `Invalid_argument of string | `Ok of 'a ]       val assoc : 'a -> ('a * 'b) list -> 'b option       val assoc_inv : 'b -> ('a * 'b) list -> 'a option       val assq : 'a -> ('a * 'b) list -> 'b option       val find_map : ('a -> 'b option) -> 'a list -> 'b option       val hd : 'a list -> 'a option       val tl : 'a list -> 'a list option       val last : 'a list -> 'a option     end   module Infix : sig val ( @ ) : 'a list -> 'a list -> 'a list end   module Labels :     sig       val init : int -> f:(int -> 'a) -> 'a list       val iter : f:('a -> unit) -> 'a list -> unit       val iteri : f:(int -> 'a -> unit) -> 'a list -> unit       val map : f:('a -> 'b) -> 'a list -> 'b list       val mapi : f:(int -> 'a -> 'b) -> 'a list -> 'b list       val rev_map : f:('a -> 'b) -> 'a list -> 'b list       val fold_left : f:('a -> 'b -> 'a) -> init:'a -> 'b list -> 'a       val fold_right : f:('a -> 'b -> 'b) -> 'a list -> init:'b -> 'b       val iter2 : f:('a -> 'b -> unit) -> 'a list -> 'b list -> unit       val map2 : f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list       val rev_map2 : f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list       val fold_left2 :         f:('a -> 'b -> 'c -> 'a) -> init:'a -> 'b list -> 'c list -> 'a       val fold_right2 :         f:('a -> 'b -> 'c -> 'c) -> 'a list -> 'b list -> init:'c -> 'c       val for_all : f:('a -> bool) -> 'a list -> bool       val exists : f:('a -> bool) -> 'a list -> bool       val for_all2 : f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool       val exists2 : f:('a -> 'b -> bool) -> 'a list -> 'b list -> bool       val subset : cmp:('a -> 'b -> int) -> 'a list -> 'b list -> bool       val find : f:('a -> bool) -> 'a list -> 'a       val find_exn : f:('a -> bool) -> exn -> 'a list -> 'a       val findi : f:(int -> 'a -> bool) -> 'a list -> int * 'a       val rfind : f:('a -> bool) -> 'a list -> 'a       val filter : f:('a -> bool) -> 'a list -> 'a list       val filter_map : f:('a -> 'b option) -> 'a list -> 'b list       val find_all : f:('a -> bool) -> 'a list -> 'a list       val partition : f:('a -> bool) -> 'a list -> 'a list * 'a list       val remove_if : f:('a -> bool) -> 'a list -> 'a list       val take_while : f:('a -> bool) -> 'a list -> 'a list       val drop_while : f:('a -> bool) -> 'a list -> 'a list       val stable_sort : ?cmp:('a -> 'a -> int) -> 'a list -> 'a list       val fast_sort : ?cmp:('a -> 'a -> int) -> 'a list -> 'a list       val merge : ?cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list       module LExceptionless :         sig           val find : f:('a -> bool) -> 'a list -> 'a option           val rfind : f:('a -> bool) -> 'a list -> 'a option           val findi : f:(int -> 'a -> bool) -> 'a list -> (int * 'a) option           val split_at :             int ->             'a list ->             [ `Invalid_argument of string | `Ok of 'a list * 'a list ]           val at :             'a list -> int -> [ `Invalid_argument of string | `Ok of 'a ]           val assoc : 'a -> ('a * 'b) list -> 'b option           val assoc_inv : 'b -> ('a * 'b) list -> 'a option           val assq : 'a -> ('a * 'b) list -> 'b option         end     end   val ( @ ) : 'a list -> 'a list -> 'a list end