Module Ternary

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

Examples:

Ternary<A, B, C>::pred/3: A predicate with three parameters, an A, a B, and a C, and no result.
Ternary<A, B, C>::Ret<D>::pred/3: A predicate with three parameters, an A, a B, and a C, and a result of type D.

Import path

import qtil.parameterization.SignaturePredicates

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

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