let array_for_all (_predicate: 'a -> bool) (_array: 'a array) : bool =
  not (
    array_exists (fun x -> not (_predicate x)) _array
  )