From f4200a0aa90e2641ce1b0b1c54d00d9d4dd3b73e Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 19 Jun 2014 13:47:00 +0200
Subject: Did most of the boring stuff. Now, work on the abstract domain.

---
 libs/util.ml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'libs')

diff --git a/libs/util.ml b/libs/util.ml
index 97aa480..6931ed9 100644
--- a/libs/util.ml
+++ b/libs/util.ml
@@ -1,3 +1,10 @@
+(* Either type *)
+
+type ('a, 'b) either =
+  | Left of 'a
+  | Right of 'b
+
+
 (* Locations *)
 
 type position = Lexing.position
-- 
cgit v1.2.3