Re: n applying the function [m \in Nat, n \in Nat |-> the argument list is: 1

[Y2i <yur...@xxxxxxxxx>]

For reference, if instead of a function of 2 arguments I use a function-valued function, everything works.

-------------------------------- MODULE Calc --------------------------------

EXTENDS Naturals

e == [m \in Nat |-> [n \in Nat |-> m + n]]

h == [e EXCEPT ![1] = [@ EXCEPT ![2] = 0]]

r == h[1][2]

=============================================================================