Module TpType7
A module to define the signature of a “Tuple predicate” with 7 arguments, and a result.
See Tp7 for more details.
GENERATED CODE. DO NOT MODIFY.
Import path
import qtil.fn.generated.TypesPredicate signatures
| tp | The signature of a “Function” predicate with arguments A, B, C, D, E, F, G and return type R. |