Predicate signature Binary::Ret::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
Import path
import qtil.parameterization.SignaturePredicatessignature R bindInputOutput(T1 t1, T2 t2)