package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Implementations here are from batteries and slightly modified. They are tuned for performance and not necessarily the same style non-library code should be written.

val existsi : (int -> 'a -> bool) -> 'a array -> bool
val for_alli : (int -> 'a -> bool) -> 'a array -> bool
val count_matchingi : (int -> 'a -> bool) -> 'a array -> int
OCaml

Innovation. Community. Security.