Predicate signature Unary::Ret::bindOutput
A signature predicate with one parameter and a result, with a bindingset on the result
Import path
import qtil.parameterization.SignaturePredicatessignature R bindOutput(T t)A signature predicate with one parameter and a result, with a bindingset on the result
import qtil.parameterization.SignaturePredicatessignature R bindOutput(T t)