Import path
import qtil.parameterization.SignaturePredicatesPredicate signatures
| bindInput | A signature predicate with six parameters and a result, with a bindingset on the six parameters but not the result |
| bindOutput | A signature predicate with six parameters and a result, with a bindingset on the result |
| pred | The resulting signature predicate for this module’s type parameters |