0xcaf87330 relies on unsafe/foreign
0xcaf87330c1ce7eab5a1056378519aed8
no description
Anonymous package: import it by hash.
Earlier versions (1)
- 0x9d23342b 2026-09-22
- Published
- 2026-09-23
- Size
- 5,965 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 32 defs, 1 types
Import
import 0xcaf87330c1ce7eab5a1056378519aed8/encoding.bend as Encoding
Modules
- encoding.bend 34 declarations
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 |
|---|---|---|---|
| encoding.bend | relies on unsafe/foreign | 7 defs rely on unsafe or foreign code defs: hi.go, hi, lo, encode.go, encode, decode.go, decodeoutputSOME PROOFS FAIL Error: 7 defs rely on unsafe or foreign code: - hi.go - hi - lo - encode.go - encode - decode.go - decode | 0.8 s |