Module Senary

A module for creating senary predicates (predicates with six parameters) without requiring a signature predicate declaration.

Examples:

Senary<A, B, C, D, E, F>::pred/6: A predicate with six parameters, an A, a B, a C, a D, an E, and an F, and no result.
Senary<A, B, C, D, E, F>::Ret<G>::pred/6: A predicate with six parameters, an A, a B, a C, a D, an E, and an F, and a result of type G.

Import path

import qtil.parameterization.SignaturePredicates

bindInput	A signature predicate with six parameters and no result, with a bindingset on the six parameters
pred	The resulting signature predicate for this module’s type parameters