Module Unary
A module for creating unary predicates (predicates with one parameter) without requiring a signature predicate declaration.
Examples:
Unary<int>::pred/1: A predicate with one int parameter and no result.Unary<int>::Ret<string>::pred/1: A predicate with one int parameter and a string result.
Import path
import qtil.parameterization.SignaturePredicatesModules
| Ret | A module for adding a result type to a unary predicate. |