lake exe mk_all --module

Author: Shreyas4991

Cslib.lean

@@ -94,6 +94,7 @@ public import Cslib.Foundations.Semantics.LTS.Termination
 public import Cslib.Foundations.Semantics.LTS.Total
 public import Cslib.Foundations.Semantics.LTS.TraceEq
 public import Cslib.Foundations.Semantics.LTS.Union
+public import Cslib.Foundations.Semantics.LTS.VectorLTS
 public import Cslib.Foundations.Syntax.Congruence
 public import Cslib.Foundations.Syntax.Context
 public import Cslib.Foundations.Syntax.HasAlphaEquiv

CslibTests.lean

@@ -1,13 +1,15 @@
-import CslibTests.Bisimulation
-import CslibTests.CCS
-import CslibTests.CLL
-import CslibTests.DFA
-import CslibTests.FreeMonad
-import CslibTests.GrindLint
-import CslibTests.HML
-import CslibTests.HasFresh
-import CslibTests.ImportWithMathlib
-import CslibTests.LTS
-import CslibTests.LambdaCalculus
-import CslibTests.MLL
-import CslibTests.Reduction
+module  -- shake: keep-all --deprecated_module: ignore
+
+public import CslibTests.Bisimulation
+public import CslibTests.CCS
+public import CslibTests.CLL
+public import CslibTests.DFA
+public import CslibTests.FreeMonad
+public import CslibTests.GrindLint
+public import CslibTests.HML
+public import CslibTests.HasFresh
+public import CslibTests.ImportWithMathlib
+public import CslibTests.LTS
+public import CslibTests.LambdaCalculus
+public import CslibTests.MLL
+public import CslibTests.Reduction