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