From 895d34a264d9d90adfe4f0618c3bb0663dc01615 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sat, 5 Dec 2015 12:53:20 +0100
Subject: Leveraging GADTs to provide a better Dyn API.

---
 lib/util.mli | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/util.mli')

diff --git a/lib/util.mli b/lib/util.mli
index 1dc405fcb..0ce6cc660 100644
--- a/lib/util.mli
+++ b/lib/util.mli
@@ -111,5 +111,7 @@ val map_union : ('a -> 'c) -> ('b -> 'd) -> ('a, 'b) union -> ('c, 'd) union
 type 'a until = 'a CSig.until = Stop of 'a | Cont of 'a
 (** Used for browsable-until structures. *)
 
+type ('a, 'b) eq = ('a, 'b) CSig.eq = Refl : ('a, 'a) eq
+
 val open_utf8_file_in : string -> in_channel
 (** Open an utf-8 encoded file and skip the byte-order mark if any. *)
-- 
cgit v1.2.3