A module for adding a result type to a ternary predicate.
Example: Ternary<A, B, C>::Ret<D>::pred/3 is a ternary predicate with three parameters, an
A, a B, and a C, and a result of type D.
Import path
import qtil.parameterization.SignaturePredicatesPredicate signatures
| bindInput | A signature predicate with three parameters and a result, with a bindingset on the three parameters but not the result |
| bindInputOutput | A signature predicate with three parameters and a result, with two bindingsets: one for just the result, and one for just the three parameters |
| bindOutput | A signature predicate with three parameters and a result, with a bindingset on the result |
| pred | The resulting signature predicate for this module’s type parameters |