The comment of VariableArityFunction mentions PlusFn correctly as an example. However, PlusFn actually is only an instance of VariableArityRelation, a superconcept of VariableArityFunction.
Log in to post a comment.
