A module for adding a result type to a nullary predicate.
Example: Nullary::Ret<int>::pred/0 is a nullary predicate with an int result.
Import path
import qtil.parameterization.SignaturePredicatesPredicate signatures
| bindOutput | A signature predicate with no parameters that returns R, with a bindingset on result |
| pred | The resulting signature predicate for this module’s type parameters |