Tailors\Logic
Namespaces
Tailors\Logic\ConnectivesTailors\Logic\ExceptionsTailors\Logic\FunctionsTailors\Logic\PredicatesTailors\Logic\Validators
Classes
Interfaces
Common interface for functions, predicates or connectives. A characteristic
feature of a functor is that it yields non-terminal expressions when
provided with arguments.