A set of predicates and assertions for checking the properties of numbers. This is mainly for use by other package developers who want to include run-time testing features in their own packages. End-users will usually want to use assertive directly.
To install this package, run one of the following:
Installation commands are not available for this package.
Summary
A set of predicates and assertions for checking the properties of numbers. This is mainly for use by other package developers who want to include run-time testing features in their own packages. End-users will usually want to use assertive directly.
Last Updated
Sep 13, 2025 at 12:10
License
GPL-3.0-or-later
Total Downloads
0