| Modifier and Type | Class and Description |
|---|---|
| public class | Checks
Common facilities to check precondition, postcondition and invariants. |
| public class | IntList
A simple, efficient and dynamic int list. |
| public class | Lists
Internal utility to work with |
| public class | Objects
Utility functions for any object. |
| public class |