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:
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
Dec 20, 2017 at 11:05
License
GPL-3.0-or-later
Total Downloads
79.7K
Supported Platforms