qtil
advanced-security/qtil-swift 0.0.3
Search

Predicate signature Unary::Ret::bindInputOutput

A signature predicate with one parameter and a result, with two bindingsets: one for just the result, and one for just the parameter

Import path

import qtil.parameterization.SignaturePredicates
signature R bindInputOutput(T t)