bend-kit-int@0.1.0.0 checks
0x0c38aaf55cb892078ec5d3c0609798a9
Fixed-width integers U8, U16, U64, I32 and I64: wrapping, checked and saturating arithmetic.
bend-kit-int@0.1.0.0 by paymog
Other versions (1)
- bend-kit-int@0.2.0.0 2026-09-27 latest
- Published
- 2026-09-27
- Size
- 34,679 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 288 defs, 5 types
Import
import bend-kit-int@0.1.0.0/int.bend as Int import 0x0c38aaf55cb892078ec5d3c0609798a9/int.bend as Int
Modules
- int.bend 298 declarations — Fixed-width integers U8, U16, U64, I32 and I64: wrapping, checked and saturating arithmetic.
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 |
|---|---|---|---|
| int.bend | checks | ALL PROOFS CHECK | 0.9 s |