qtil
advanced-security/qtil-swift 0.0.3
Search

Predicate Tp4::ProjectRelate6::tp

Import path

import qtil.fn.generated.Tp
predicate tp(A0 a0, B0 b0, C0 c0, D0 d0, E0 e0, F0 f0)