0x464866dd checks
0x464866dd0fbd191e9b4adc04f0fb781f
bend-u64: package entry for BendHub.
Anonymous package: import it by hash.
Other versions (1)
- 0x0f1da4e8 2026-09-21 latest
- Published
- 2026-09-20
- Size
- 5,146 bytes, 2 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 1 laws (1 proved), 43 defs, 1 types
Import
import 0x464866dd0fbd191e9b4adc04f0fb781f/package.bend as Package import 0x464866dd0fbd191e9b4adc04f0fb781f/u64.bend as U64
Modules
- package.bend 20 declarations — bend-u64: package entry for BendHub.
- u64.bend 26 declarations, 1 laws — bend-u64: a 64-bit unsigned integer in pure Bend, backed by one 64-bit word.
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 |
|---|---|---|---|
| package.bend | checks | ALL PROOFS CHECK | 0.9 s |
| u64.bend | checks | ALL PROOFS CHECK | 0.9 s |