Module Quaternary

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

Examples:

Quaternary<A, B, C, D>::pred/4: A predicate with four parameters, an A, a B, a C, and a D, and no result.
Quaternary<A, B, C, D>::Ret<E>::pred/4: A predicate with four parameters, an A, a B, a C, and a D, and a result of type E.

Import path

import qtil.parameterization.SignaturePredicates

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

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