A module for adding a result type to a unary predicate.
Example: Unary<int>::Ret<string>::pred/1 is a unary predicate with an int parameter and a
string result.
Import path
import qtil.parameterization.SignaturePredicatesPredicate signatures
| bindInput | A signature predicate with one parameter and a result, with a bindingset on the parameter but not the result |
| bindInputOutput | A signature predicate with one parameter and a result, with two bindingsets: one for just the result, and one for just the parameter |
| bindOutput | A signature predicate with one parameter and a result, with a bindingset on the result |
| pred | The resulting signature predicate for this module’s type parameters |