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