Predicate signature Quaternary::Ret::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
Import path
import qtil.parameterization.SignaturePredicates