sig
  val mem : 'a -> 'a array -> bool
  val exists : ('a -> bool) -> 'a array -> bool
  val exists_const : ('a -> 'b -> bool) -> 'a -> 'b array -> bool
  val for_all : ('a -> bool) -> 'a array -> bool
  val for_all_const : ('a -> 'b -> bool) -> 'a -> 'b array -> bool
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.