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