0x2975cbb5 checks
0x2975cbb5ff2b1033bbbf3c4756c85fbf
Byte buffers packed four bytes to a U32, with bounds-checked access.
Anonymous package: import it by hash.
Earlier versions (1)
- 0xeee38620 2026-09-24
- Published
- 2026-09-24
- Size
- 12,074 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 54 defs, 1 types
Import
import 0x2975cbb5ff2b1033bbbf3c4756c85fbf/bytes.bend as Bytes
Modules
- bytes.bend 56 declarations — Byte buffers packed four bytes to a U32, with bounds-checked access.
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 |
|---|---|---|---|
| bytes.bend | checks | ALL PROOFS CHECK | 0.8 s |