0x9f15483a checks
0x9f15483a7cabc6e91e5092cc41829c43
bend-i64: a SIGNED 64-bit integer in pure Bend, two's complement over Word(64n).
Anonymous package: import it by hash.
Earlier versions (1)
- 0x5a02f498 2026-09-20
- Published
- 2026-09-21
- Size
- 7,419 bytes, 2 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 1 laws (1 proved), 62 defs, 1 types
Import
import 0x9f15483a7cabc6e91e5092cc41829c43/i64.bend as I64 import 0x9f15483a7cabc6e91e5092cc41829c43/package.bend as Package
Modules
- i64.bend 40 declarations, 1 laws — bend-i64: a SIGNED 64-bit integer in pure Bend, two's complement over Word(64n).
- package.bend 25 declarations — bend-i64: package entry for BendHub.
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 |
|---|---|---|---|
| i64.bend | checks | ALL PROOFS CHECK | 1.0 s |
| package.bend | checks | ALL PROOFS CHECK | 1.0 s |