fix: translate comment into English

coeff-aij · coeff-aij · commit 4758c7048a19 · 2026-01-20T23:03:24.000+09:00
diff --git a/src/chc.rs b/src/chc.rs
@@ -902,7 +902,7 @@ impl MatcherPred {
     }
 }
 
-// TODO: DatatypeSymbolをほぼそのままコピーする形になっているので、エイリアスなどで共通化すべき？
+// TODO: This struct is almost copy of `DatatypeSymbol`. Two traits maight be unified with aliases.
 #[derive(Debug, Clone, PartialEq, Eq, Hash)]
 pub struct UserDefinedPredSymbol {
     inner: String,

Original file line number	Diff line number	Diff line change
`@@ -902,7 +902,7 @@ impl MatcherPred {`
`902`	`902`	`}`
`903`	`903`	`}`
`904`	`904`
`905`		`-// TODO: DatatypeSymbolをほぼそのままコピーする形になっているので、エイリアスなどで共通化すべき？`
	`905`	+// TODO: This struct is almost copy of `DatatypeSymbol`. Two traits maight be unified with aliases.
`906`	`906`	`#[derive(Debug, Clone, PartialEq, Eq, Hash)]`
`907`	`907`	`pub struct UserDefinedPredSymbol {`
`908`	`908`	`inner: String,`