Classes
Example usage.
Example usage.
Common interface for functions, predicates or connectives. A characteristic
feature of a functor is that it yields non-terminal expressions when
provided with arguments.
Example usage.
Asserts that all the $arguments are numbers.
Asserts that all the $arguments are numbers.