summaryrefslogtreecommitdiff
path: root/libs
diff options
context:
space:
mode:
Diffstat (limited to 'libs')
-rw-r--r--libs/util.ml7
1 files changed, 7 insertions, 0 deletions
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