0x83a18da2 relies on unsafe/foreign
0x83a18da24b5b66102742c5af7d7b0042
no description
Anonymous package: import it by hash.
- Published
- 2026-09-30
- Size
- 249 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 5 defs, 2 types
Import
import 0x83a18da24b5b66102742c5af7d7b0042/c2.bend as C2
Modules
- c2.bend 8 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 |
|---|---|---|---|
| c2.bend | relies on unsafe/foreign | 4 defs rely on unsafe or foreign code defs: dl, dlw, w, boomoutputSOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - dl - dlw - w - boom | 0.2 s |