sig
  val mapi : (int -> 'a -> 'b) -> 'a list -> 'b list
  val iteri : (int -> 'a -> unit) -> 'a list -> unit
  val index : 'a -> 'a list -> int -> int
  val indexq : 'a -> 'a list -> int -> int
  val indexf : ('a -> bool) -> 'a list -> int -> int
  val range : int -> int -> int list
  val take : 'a list -> int -> 'a list
  val drop : 'a list -> int -> 'a list
  val make : int -> 'a -> 'a list
end