0x81d2c29d checks
0x81d2c29deebe358e50ee7ccba839dd8e
Prio — foundational U32 priority bag for Bend.
Anonymous package: import it by hash.
- Published
- 2026-09-17
- Size
- 1,939 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 12 defs, 2 types
Import
import 0x81d2c29deebe358e50ee7ccba839dd8e/lib.bend as Lib
Modules
- lib.bend 16 declarations — Prio — foundational U32 priority bag for Bend.
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 |
|---|---|---|---|
| lib.bend | checks | ALL PROOFS CHECK | 0.8 s |