Predicate signature Binary::Ret::bindOutput
A signature predicate with two parameters and a result, with a bindingset on the result
Import path
import qtil.parameterization.SignaturePredicatessignature R bindOutput(T1 t1, T2 t2)A signature predicate with two parameters and a result, with a bindingset on the result
import qtil.parameterization.SignaturePredicatessignature R bindOutput(T1 t1, T2 t2)