~/bend-docscommunity

0x5ce43522 relies on unsafe/foreign

0x5ce435229dc73113d04d9080d52039c1

no description

Anonymous package: import it by hash.

Other versions (2)
Published
2026-09-23
Size
22,871 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 8 defs, 0 types

Import

import 0x5ce435229dc73113d04d9080d52039c1/wire.bend as Wire

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
wire.bendrelies on unsafe/foreign 8 defs rely on unsafe or foreign code
defs: recv, send, recv_from, send_to, tls.connect, tls.send, tls.recv, tls.close
output
SOME PROOFS FAIL
Error: 8 defs rely on unsafe or foreign code:
- recv
- send
- recv_from
- send_to
- tls.connect
- tls.send
- tls.recv
- tls.close
0.8 s