0x0545bed9 relies on unsafe/foreign
0x0545bed9af5dcfee943e4966a207d495
no description
Anonymous package: import it by hash.
Other versions (2)
- 0x60e7edc5 2026-09-23 latest
- 0x5ce43522 2026-09-23
- Published
- 2026-09-23
- Size
- 8,944 bytes, 3 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 4 defs, 0 types
Import
import 0x0545bed9af5dcfee943e4966a207d495/wire.bend as Wire
Modules
- wire.bend 4 declarations
Other files
- effs/wire.c 4,877 bytes
- effs/wire.js 3,270 bytes
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 |
|---|---|---|---|
| wire.bend | relies on unsafe/foreign | 4 defs rely on unsafe or foreign code defs: recv, send, recv_from, send_tooutputSOME PROOFS FAIL Error: 4 defs rely on unsafe or foreign code: - recv - send - recv_from - send_to | 0.8 s |