From c12f2d2095280659e0cd19e9146208e5e533f365 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 24 Dec 2017 17:21:57 +0100
Subject: [PATCH] more tests

---
 src/core/CCOrd.ml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/core/CCOrd.ml b/src/core/CCOrd.ml
index 23c96d83..0b38fcfb 100644
--- a/src/core/CCOrd.ml
+++ b/src/core/CCOrd.ml
@@ -25,6 +25,13 @@ let equiv i j =
   not (equiv 1 0)
 *)
 
+(*$Q
+  Q.(pair int int) (fun (x,y) -> \
+    (equiv x y) = (equiv y x))
+  Q.(triple int int int) (fun (x,y,z) -> \
+    if (equiv x y && equiv y z) then (equiv x z) else true)
+*)
+
 let int (x:int) y = Pervasives.compare x y
 let string (x:string) y = Pervasives.compare x y
 let bool (x:bool) y = Pervasives.compare x y