qtil
advanced-security/qtil-swift 0.0.3
Search

Predicate Tp5::ExtendMapFirst::tp

Import path

import qtil.fn.generated.Tp
predicate tp(A a, B b, C c, D d, E e, R r)