0xca47b110 checks
0xca47b110029aa12cfc4d84615cad4ec1
no description
Anonymous package: import it by hash.
- Published
- 2026-09-27
- Size
- 3,661 bytes, 2 files
- License
- MIT (LICENSE)
- Declarations
- 4 laws (4 proved), 4 defs, 1 types
Import
import 0xca47b110029aa12cfc4d84615cad4ec1/io.bend as Io
Modules
- io.bend 11 declarations, 4 laws
Other files
- LICENSE 1,101 bytes
Dependencies
No imports from other hub packages.
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| io.bend | checks | ALL PROOFS CHECK | 0.7 s |