sig
  val split_list : int -> 'a list -> 'a list list
  val print_list :
    Pervasives.out_channel -> ('a -> string) -> 'a list -> unit
  val list_chop : int -> 'a list -> 'a list
  val make_list : int -> 'a -> 'a list
  val make_int_list : low:int -> high:int -> int list
  val list_diff : ?pred:('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list
  val list_remove_doubles : ?pred:('a -> 'a -> bool) -> 'a list -> 'a list
end