sig
  val length : 'a array -> int
  val get : 'a array -> int -> 'a
  val findi : ('a -> bool) -> 'a array -> int
end