MNT: rm E_namespaces

Signed-off-by: Ioannis Filippidis <[email protected]>
tlaplus · Nov 27, 2024 · 7af4592 · 7af4592
1 parent e702c3f
commit 7af4592
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 109 deletions.
diff --git a/src/expr.ml b/src/expr.ml
@@ -3,7 +3,6 @@
 Copyright (C) 2011-2019  INRIA and Microsoft Corporation
 *)
 module T = E_t
-module Namespaces = E_namespaces
 module Fmt = E_fmt
 module Subst = E_subst
 module Visit = E_visit

diff --git a/src/expr.mli b/src/expr.mli
@@ -424,18 +424,6 @@ module T: sig
 end
 
 
-module Namespaces: sig
-    open Util
-
-
-    val mint_from_hint:
-        hint -> hint
-    val mint_by_min_free:
-        string -> int -> string list ->
-            string
-end
-
-
 module Fmt: sig
     open T
     open Ctx

diff --git a/src/expr/e_namespaces.ml b/src/expr/e_namespaces.ml
diff --git a/src/expr/e_namespaces.mli b/src/expr/e_namespaces.mli
diff --git a/src/expr/e_namespaces.mlt b/src/expr/e_namespaces.mlt