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