sig
  type 'a t = 'a list
  type 'a binable = 'a t
  val bin_size_t : ('a, 'a binable) Bin_prot.Size.sizer1
  val bin_write_t : ('a, 'a binable) Bin_prot.Map_to_safe.writer1
  val bin_write_t_ : ('a, 'a binable) Bin_prot.Unsafe_write_c.writer1
  val bin_read_t : ('a, 'a binable) Bin_prot.Map_to_safe.reader1
  val bin_read_t_ : ('a, 'a binable) Bin_prot.Unsafe_read_c.reader1
  val bin_read_t__ : ('a, int -> 'a binable) Bin_prot.Unsafe_read_c.reader1
  val bin_writer_t : ('a, 'a binable) Bin_prot.Type_class.S1.writer
  val bin_reader_t : ('a, 'a binable) Bin_prot.Type_class.S1.reader
  val bin_t : ('a, 'a binable) Bin_prot.Type_class.S1.t
  type 'a container = 'a t
  val length : 'a container -> int
  val is_empty : 'a container -> bool
  val iter : 'a container -> f:('-> unit) -> unit
  val fold : 'a container -> init:'-> f:('-> '-> 'b) -> 'b
  val exists : 'a container -> f:('-> bool) -> bool
  val for_all : 'a container -> f:('-> bool) -> bool
  val find : 'a container -> f:('-> bool) -> 'a option
  val to_list : 'a container -> 'a list
  val to_array : 'a container -> 'a array
  val container : ('a, 'a container) Container.type_class
  type 'a sexpable = 'a t
  val sexp_of_t : ('-> Sexplib.Sexp.t) -> 'a sexpable -> Sexplib.Sexp.t
  val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a sexpable
  type 'a monad = 'a t
  val ( >>= ) : 'a monad -> ('-> 'b monad) -> 'b monad
  val ( >>| ) : 'a monad -> ('-> 'b) -> 'b monad
  module Monad_infix :
    sig
      type 'a monad = 'a monad
      val ( >>= ) : 'a monad -> ('-> 'b monad) -> 'b monad
      val ( >>| ) : 'a monad -> ('-> 'b) -> 'b monad
    end
  val bind : 'a monad -> ('-> 'b monad) -> 'b monad
  val return : '-> 'a monad
  val map : 'a monad -> f:('-> 'b) -> 'b monad
  val join : 'a monad monad -> 'a monad
  val ignore : 'a monad -> unit monad
  val unit : unit monad
  val nth : 'List.t -> int -> 'a option
  val nth_exn : 'List.t -> int -> 'a
  val rev : 'List.t -> 'List.t
  val rev_append : 'List.t -> 'List.t -> 'List.t
  val rev_map : f:('-> 'b) -> 'List.t -> 'List.t
  val fold_left : f:('-> '-> 'a) -> init:'-> 'List.t -> 'a
  val iter2 :
    f:('-> '-> unit) -> 'List.t -> 'List.t -> unit
  val rev_map2 :
    f:('-> '-> 'c) -> 'List.t -> 'List.t -> 'List.t
  val fold_left2 :
    f:('-> '-> '-> 'a) ->
    init:'-> 'List.t -> 'List.t -> 'a
  val for_all2 :
    f:('-> '-> bool) -> 'List.t -> 'List.t -> bool
  val exists2 :
    f:('-> '-> bool) -> 'List.t -> 'List.t -> bool
  val mem : '-> set:'List.t -> bool
  val memq : '-> set:'List.t -> bool
  val filter : f:('-> bool) -> 'List.t -> 'List.t
  val filteri : 'List.t -> f:(int -> '-> bool) -> 'a list
  val find_all : f:('-> bool) -> 'List.t -> 'List.t
  val partition :
    'List.t -> f:('-> bool) -> 'List.t * 'List.t
  val assoc' :
    ('a * 'b) List.t -> '-> equal:('-> '-> bool) -> 'b option
  val assoc_exn' :
    ('a * 'b) List.t -> '-> equal:('-> '-> bool) -> 'b
  val mem_assoc' :
    ('a * 'b) List.t -> '-> equal:('-> '-> bool) -> bool
  val remove_assoc' :
    ('a * 'b) List.t ->
    '-> equal:('-> '-> bool) -> ('a * 'b) List.t
  val assoc : '-> ('a * 'b) List.t -> 'b
  val mem_assoc : '-> map:('a * 'b) List.t -> bool
  val remove_assoc : '-> ('a * 'b) List.t -> ('a * 'b) List.t
  val sort : cmp:('-> '-> int) -> 'List.t -> 'List.t
  val stable_sort : cmp:('-> '-> int) -> 'List.t -> 'List.t
  val fast_sort : cmp:('-> '-> int) -> 'List.t -> 'List.t
  val merge :
    'List.t ->
    'List.t -> cmp:('-> '-> int) -> 'List.t
  val hd : 'List.t -> 'a option
  val tl : 'List.t -> 'List.t option
  val hd_exn : 'List.t -> 'a
  val tl_exn : 'List.t -> 'List.t
  val findi : 'List.t -> f:(int -> '-> bool) -> (int * 'a) option
  val find_map : 'List.t -> f:('-> 'b option) -> 'b option
  val find_exn : 'List.t -> f:('-> bool) -> 'a
  val append : 'List.t -> 'List.t -> 'List.t
  val map : 'List.t -> f:('-> 'b) -> 'List.t
  val concat_map :
    'List.t -> f:('-> 'List.t) -> 'List.t
  val map2 :
    'List.t -> 'List.t -> f:('-> '-> 'c) -> 'List.t
  val rev_map3 :
    'List.t ->
    'List.t ->
    'List.t -> f:('-> '-> '-> 'd) -> 'List.t
  val map3 :
    'List.t ->
    'List.t ->
    'List.t -> f:('-> '-> '-> 'd) -> 'List.t
  val rev_map_append :
    'List.t -> 'List.t -> f:('-> 'b) -> 'List.t
  val fold_right : 'List.t -> f:('-> '-> 'b) -> init:'-> 'b
  val fold_right2 :
    'List.t ->
    'List.t -> f:('-> '-> '-> 'c) -> init:'-> 'c
  val split : ('a * 'b) List.t -> 'List.t * 'List.t
  val combine : 'List.t -> 'List.t -> ('a * 'b) List.t
  val mapi : 'List.t -> f:(int -> '-> 'b) -> 'List.t
  val iteri : 'List.t -> f:(int -> '-> unit) -> unit
  val fold_lefti :
    'List.t -> f:(int -> '-> '-> 'b) -> init:'-> 'b
  val reduce_exn : 'List.t -> f:('-> '-> 'a) -> 'a
  val reduce : 'List.t -> f:('-> '-> 'a) -> 'a option
  val group :
    'List.t -> break:('-> '-> bool) -> 'List.t List.t
  val groupi :
    'List.t ->
    break:(int -> '-> '-> bool) -> 'List.t List.t
  val min_combine : 'List.t -> 'List.t -> ('a * 'b) List.t
  val last : 'List.t -> 'a option
  val last_exn : 'List.t -> 'a
  val dedup : ?compare:('-> '-> int) -> 'List.t -> 'List.t
  val stable_dedup : 'List.t -> 'List.t
  val contains_dup : 'List.t -> bool
  val find_a_dup : 'List.t -> 'a option
  val count : 'List.t -> f:('-> bool) -> int
  val range : ?stride:int -> int -> int -> int List.t
  val frange : ?stride:float -> float -> float -> float List.t
  val init : int -> f:(int -> 'a) -> 'List.t
  val rev_filter_map :
    'List.t -> f:('-> 'b option) -> 'List.t
  val filter_map : 'List.t -> f:('-> 'b option) -> 'List.t
  val filter_opt : 'a option List.t -> 'List.t
  val partition_map :
    'List.t ->
    f:('-> [ `Fst of '| `Snd of 'c ]) -> 'List.t * 'List.t
  val reverse_pairs : ('a * 'b) List.t -> ('b * 'a) List.t
  val split_n : 'List.t -> int -> 'List.t * 'List.t
  val sub : 'List.t -> pos:int -> len:int -> 'List.t
  val slice : 'List.t -> int -> int -> 'List.t
  val take : 'List.t -> int -> 'List.t
  val drop : 'List.t -> int -> 'List.t
  val drop_while : 'List.t -> f:('-> bool) -> 'List.t
  val concat : 'List.t List.t -> 'List.t
  val flatten : 'List.t List.t -> 'List.t
  val flatten_no_order : 'List.t List.t -> 'List.t
  val assoc_opt : '-> ('a * 'b) List.t -> 'b option
  val cons : '-> 'List.t -> 'List.t
  val cartesian_product :
    'List.t -> 'List.t -> ('a * 'b) List.t
  val to_string : ('-> string) -> 'List.t -> string
  val permute :
    ?random_state:Random.State.t -> 'List.t -> 'List.t
  val is_sorted : 'List.t -> compare:('-> '-> int) -> bool
  val compare :
    'List.t -> 'List.t -> cmp:('-> '-> int) -> int
  module Infix :
    sig val ( @ ) : 'List.t -> 'List.t -> 'List.t end
end