From 38ac6e0eff49662636e8db6ceb5f4badbdc7795a Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 5 Mar 2013 15:38:43 +0000
Subject: Missing primitive in CArray

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16259 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/cArray.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/cArray.mli')

diff --git a/lib/cArray.mli b/lib/cArray.mli
index ed8a1e94ca..0e0be1dfd0 100644
--- a/lib/cArray.mli
+++ b/lib/cArray.mli
@@ -47,6 +47,9 @@ sig
   val equal : ('a -> 'a -> bool) -> 'a array -> 'a array -> bool
   (** Lift equality to array type. *)
 
+  val is_empty : 'a array -> bool
+  (** True whenever the array is empty. *)
+
   val exists : ('a -> bool) -> 'a array -> bool
   (** As [List.exists] but on arrays. *)
 
-- 
cgit v1.2.3