Allows for function definitions with simple specifications that are enforced by checks at each call site. Functionality pales in comparison to racket/contract, but error messages w/ source info are provided for same-module violations of specifications.
| Authors | |||||||
|---|---|---|---|---|---|---|---|
| Documentation | |||||||
| Tags | |||||||
| License | |||||||
| Last updated | Monday, March 13th, 2023 4:24:47pm (UTC) | ||||||
| Ring | 1 | ||||||
| Conflicts | None | ||||||
| Dependencies | |||||||
| Most recent build results |
| ||||||
| Version Exceptions |
| ||||||
| Last checked | Sunday, November 30th, 2025 6:51:14pm (UTC) | ||||||
| Last edited | Friday, January 12th, 2018 7:28:28pm (UTC) | ||||||
| Date added | N/A | ||||||
| Modules |
|