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