qtil
advanced-security/qtil-swift 0.0.3
Search

Predicate signature RelType7::rel

The signature of a “Function” predicate with arguments A, B, C, D, E, F, G and return type R.

Import path

import qtil.fn.generated.Types
signature R rel(A a, B b, C c, D d, E e, F f, G g)