オペレーションは2つ以上のオペランドを持つことができますか？

Question

私はモーデスで次のいずれかの方法で操作を定義することができることを知っている：

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

しかし、それはより多くのオペランドを有するようoperataionを定義する方法はありますか？

Answer 1

Basic Maudeの三項条件付き演算子は良い例です： "関数名にアンダースコアがあるということは、私たちがmixfixを使用していることを意味しています。関数の各引数は、 。アンダースコアの例については、私たちはこのように、この演算子を適用することができ

op if_then_else_fi : Bool Nat Nat -> Nat . 

考慮します。Bはブール値であり、XとYがたNatsある

if B then X else Y fi 

を」オペレータアリティに

制限なしに（オペレータ宣言のフルパワーを包含するpp.33-35を読み取る）manualに記載されていないので、

op _ _operation_ _ _: Nat Nat Nat Nat Nat -> Bool . // for 5 operands 

もOKであるべきです。私は、ある時点で実装固有、プラットフォーム、またはメモリの制限に達するべきだと思います。