All Tools Bookmark


Facebook Share Twitter Share

assertive.types: Assertions to Check Types of Variables

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.