0x9a0c458f checks
0x9a0c458f159a102b8f9b9e65b34d7d79
no description
Anonymous package: import it by hash.
Other versions (9)
- 0x7bd24d36 2026-09-25 latest
- 0xf4c0a1d9 2026-09-25
- 0xee299771 2026-09-25
- 0x058cb36f 2026-09-25
- 0x9f92cb87 2026-09-25
- 0xc527051a 2026-09-25
- 0x32ddc3ea 2026-09-25
- 0x378a3d21 2026-09-25
- 0x87f59fd0 2026-09-25
- Published
- 2026-09-25
- Size
- 25,953 bytes, 2 files
- License
- MIT (LICENSE)
- Declarations
- 0 laws (0 proved), 111 defs, 19 types
Import
import 0x9a0c458f159a102b8f9b9e65b34d7d79/arc.bend as Arc
Modules
- arc.bend 175 declarations
Other files
- LICENSE 1,118 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 |
|---|---|---|---|
| arc.bend | checks | ALL PROOFS CHECK | 0.9 s |