Predicate signature Quaternary::Ret::bindOutput
A signature predicate with four parameters and a result, with a bindingset on the result
Import path
import qtil.parameterization.SignaturePredicatesA signature predicate with four parameters and a result, with a bindingset on the result
import qtil.parameterization.SignaturePredicates