qtil
advanced-security/qtil-swift 0.0.3
Search

Predicate signature TpType1::tp

The signature of a “Function” predicate with arguments A and return type R.

Import path

import qtil.fn.generated.Types
signature predicate tp(A a)