0x087b02a9 checks
0x087b02a9ebc7a23bd4c4c4a87bb1f0a0
no description
Anonymous package: import it by hash.
Earlier versions (1)
- 0x5aa4baca 2026-09-18
- Published
- 2026-09-24
- Size
- 1,025 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 6 defs, 3 types
Import
import 0x087b02a9ebc7a23bd4c4c4a87bb1f0a0/types.bend as Types
Modules
- types.bend 12 declarations
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 |
|---|---|---|---|
| types.bend | checks | ALL PROOFS CHECK | 0.7 s |