⚠️There's a newer version (0.0-3) of this package.Take me there.
assertive.types (version 0.0-1)
Assertions to Check Types of Variables
Description
A set of predicates and assertions for checking the types of
variables. 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.