diff --git a/tools-kala/src/main/java/module-info.java b/tools-kala/src/main/java/module-info.java
index 18ef271d90..107e4e56e3 100644
--- a/tools-kala/src/main/java/module-info.java
+++ b/tools-kala/src/main/java/module-info.java
@@ -4,6 +4,7 @@
   requires static org.jetbrains.annotations;
   requires transitive kala.collection.primitive;
 
+  exports org.aya.util.binop;
   exports org.aya.util.more;
   exports org.aya.util.terck;
   exports org.aya.util.tyck.pat;
diff --git a/tools/src/main/java/org/aya/util/binop/Assoc.java b/tools-kala/src/main/java/org/aya/util/binop/Assoc.java
similarity index 94%
rename from tools/src/main/java/org/aya/util/binop/Assoc.java
rename to tools-kala/src/main/java/org/aya/util/binop/Assoc.java
index a55c1290bc..8168b79d9f 100644
--- a/tools/src/main/java/org/aya/util/binop/Assoc.java
+++ b/tools-kala/src/main/java/org/aya/util/binop/Assoc.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2022 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2023 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.util.binop;
 
diff --git a/tools/src/main/java/org/aya/util/binop/BinOpParser.java b/tools-kala/src/main/java/org/aya/util/binop/BinOpParser.java
similarity index 100%
rename from tools/src/main/java/org/aya/util/binop/BinOpParser.java
rename to tools-kala/src/main/java/org/aya/util/binop/BinOpParser.java
diff --git a/tools/src/main/java/org/aya/util/binop/BinOpSet.java b/tools-kala/src/main/java/org/aya/util/binop/BinOpSet.java
similarity index 98%
rename from tools/src/main/java/org/aya/util/binop/BinOpSet.java
rename to tools-kala/src/main/java/org/aya/util/binop/BinOpSet.java
index 70adbc9bad..5711ef697d 100644
--- a/tools/src/main/java/org/aya/util/binop/BinOpSet.java
+++ b/tools-kala/src/main/java/org/aya/util/binop/BinOpSet.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2022 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2023 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.util.binop;
 
diff --git a/tools/src/main/java/org/aya/util/binop/OpDecl.java b/tools-kala/src/main/java/org/aya/util/binop/OpDecl.java
similarity index 91%
rename from tools/src/main/java/org/aya/util/binop/OpDecl.java
rename to tools-kala/src/main/java/org/aya/util/binop/OpDecl.java
index 74bbed2c42..6d0bd91021 100644
--- a/tools/src/main/java/org/aya/util/binop/OpDecl.java
+++ b/tools-kala/src/main/java/org/aya/util/binop/OpDecl.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2022 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2023 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 package org.aya.util.binop;
 
diff --git a/tools/src/main/java/module-info.java b/tools/src/main/java/module-info.java
index a1f8861cd2..a7e92a2ea5 100644
--- a/tools/src/main/java/module-info.java
+++ b/tools/src/main/java/module-info.java
@@ -5,7 +5,6 @@
   requires static org.jetbrains.annotations;
   requires transitive kala.collection.primitive;
 
-  exports org.aya.util.binop;
   exports org.aya.util.error;
   exports org.aya.util.prettier;
   exports org.aya.util.reporter;