From 7ebe6117789ac3c0d31c8a6ed918fce71b6d2e4b Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <matthieu.sozeau@inria.fr>
Date: Wed, 17 Dec 2014 20:22:37 +0100
Subject: checker: Change in library on disk values, now using context_sets
 instead of constraints only.

---
 checker/univ.mli | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'checker/univ.mli')

diff --git a/checker/univ.mli b/checker/univ.mli
index 89dd64486..a4a3a9cb1 100644
--- a/checker/univ.mli
+++ b/checker/univ.mli
@@ -188,7 +188,15 @@ sig
 
 end
 
+module ContextSet :
+  sig 
+    type t
+    val empty : t
+    val constraints : t -> constraints
+  end
+
 type universe_context = UContext.t
+type universe_context_set = ContextSet.t
 
 val empty_level_subst : universe_level_subst
 val is_empty_level_subst : universe_level_subst -> bool
-- 
cgit v1.2.3