Module Binary

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

Examples:

Binary<int, string>::pred/2: A predicate with two parameters, an int and a string, and no result.
Binary<A, B>::Ret<C>::pred/2: A predicate with two parameters, an A and a B, and a result of type C.

Import path

import qtil.parameterization.SignaturePredicates

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

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

T1		InfiniteType
T2		InfiniteType