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