I want to accept a function that returns a tuple. Is there a way to describe a function's return tuple length?
The doesn't seem to be. Probably because it isn't necessary in formal logic as 2 functions are used instead of one function with two outputs.
If the arity or adicity is the dimension of the domain of the cartesian product of a function what you are looking for is the dimension of the range. Possibly the term "valency" could be used in a particular document as it has a similar meaning to arity but is not so commonly used in computer science so you could use it if you explained your usage up front.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With