Clean で 2 つの整数の剰余を計算する定義済みの方法はありますか?
StdOverloaded は (mod) 型クラスを定義しますが、StdInt にはそのインスタンスが含まれておらず、StdEnv も他のどこにも含まれていません。StdInt の mod インスタンスについて言及している Clean バージョン 2.0 に関する言語の概要を見たことがありますが、2.4 ではそれが確実に欠落しています。
Clean で 2 つの整数の剰余を計算する定義済みの方法はありますか?
StdOverloaded は (mod) 型クラスを定義しますが、StdInt にはそのインスタンスが含まれておらず、StdEnv も他のどこにも含まれていません。StdInt の mod インスタンスについて言及している Clean バージョン 2.0 に関する言語の概要を見たことがありますが、2.4 ではそれが確実に欠落しています。