checker: Change in library on disk values, now using context_sets instead of

constraints only.

1 files changed, 10 insertions, 1 deletions

diff --git a/checker/univ.ml b/checker/univ.ml
index 323a373ec..cb530149b 100644
--- a/checker/univ.ml
+++ b/checker/univ.ml
@@ -379,7 +379,8 @@ module Level = struct
 
 end
 
-(** Level maps *)
+(** Level sets and maps *)
+module LSet = Set.Make (Level)
 module LMap = Map.Make (Level)
 
 type 'a universe_map = 'a LMap.t
@@ -1297,6 +1298,14 @@ end
 
 type universe_context = UContext.t
 
+module ContextSet =
+struct
+  type t = LSet.t constrained
+  let empty = LSet.empty, Constraint.empty
+  let constraints (_, cst) = cst
+end
+type universe_context_set = ContextSet.t
+
 (** Substitutions. *)
 
 let is_empty_subst = LMap.is_empty