2

モードでは、次のいずれかの方法で操作を定義できることを知っています。

op operation_: Nat -> Bool . // for 1 operands
op _operation_: Nat Nat -> Bool . // for 2 operands

しかし、より多くのオペランドを持つように操作を定義する方法はありますか?

4

1 に答える 1