Module Nullary
A module for creating nullary predicates (predicates with no parameters) without requiring a signature predicate declaration.
Examples:
Nullary::pred/0: A predicate with no parameters and no result.Nullary::Ret<int>::pred/0: A predicate with no parameters and anintresult.
Import path
import qtil.parameterization.SignaturePredicatesModules
| Ret | A module for adding a result type to a nullary predicate. |
Predicate signatures
| pred | The resulting signature predicate for this module’s type parameters |