🔥 Remove the unused Value module

React-Analysis · Sep 26, 2024 · a914d15 · a914d15
1 parent ec03cb5
commit a914d15
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/lib/concrete_domains.ml b/lib/concrete_domains.ml
@@ -246,13 +246,6 @@ module M : Domains.S = struct
 
   include T
 
-  module Value = struct
-    type nonrec view_spec = view_spec
-    type nonrec clos = clos
-    type nonrec addr = addr
-    type t = value
-  end
-
   module Phase = struct
     type t = phase = P_init | P_update | P_retry | P_effect [@@deriving equal]