diff --git a/lib/Array.cry b/lib/Array.cry
index d9aab610..7890e66b 100644
--- a/lib/Array.cry
+++ b/lib/Array.cry
@@ -10,6 +10,7 @@ primitive type Array : * -> * -> *
 primitive arrayConstant : {a, b} b -> (Array a b)
 primitive arrayLookup : {a, b} (Array a b) -> a -> b
 primitive arrayUpdate : {a, b} (Array a b) -> a -> b -> (Array a b)
+primitive arrayEq : {n, a} (Array [n] a) -> (Array [n] a) -> Bool
 
 /**
  * Copy elements from the source array to the destination array.