qtil
advanced-security/qtil-swift 0.0.3
Search

Predicate signature Ternary::Ret::bindInputOutput

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

Import path

import qtil.parameterization.SignaturePredicates
signature R bindInputOutput(T1 t1, T2 t2, T3 t3)