0xb3a098ff checks
0xb3a098ff6dc4d99175172fdd297772c2
no description
Anonymous package: import it by hash.
- Published
- 2026-09-25
- Size
- 156 bytes, 2 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 2 defs, 0 types
Import
import 0xb3a098ff6dc4d99175172fdd297772c2/main.bend as Main import 0xb3a098ff6dc4d99175172fdd297772c2/mfdir/lib.bend as Lib
Modules
- main.bend 1 declarations
- mfdir/lib.bend 1 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 |
|---|---|---|---|
| main.bend | checks | ALL PROOFS CHECK | 0.8 s |
| mfdir/lib.bend | checks | ALL PROOFS CHECK | 0.9 s |