Module Quinary

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

Examples:

Quinary<A, B, C, D, E>::pred/5: A predicate with five parameters, an A, a B, a C, a D, and an E, and no result.
Quinary<A, B, C, D, E>::Ret<F>::pred/5: A predicate with five parameters, an A, a B, a C, a D, and an E, and a result of type F.

Import path

import qtil.parameterization.SignaturePredicates

Ret	A module for adding a result type to a quinary predicate.

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