sig
  val find : ('a -> bool) -> 'a BatArray.t -> 'a option
  val findi : ('a -> bool) -> 'a BatArray.t -> int option
end