0x0f1da4e8 checks
0x0f1da4e80677f1d50e6f638a7d6f27ef
bend-u64: package entry for BendHub.
Anonymous package: import it by hash.
Earlier versions (1)
- 0x464866dd 2026-09-20
- Published
- 2026-09-21
- Size
- 5,518 bytes, 2 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 1 laws (1 proved), 43 defs, 1 types
Import
import 0x0f1da4e80677f1d50e6f638a7d6f27ef/package.bend as Package import 0x0f1da4e80677f1d50e6f638a7d6f27ef/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.6 s |