~/bend-docscommunity

0x9c94dd62 relies on unsafe/foreign

0x9c94dd62a275a2a52aba6d0315b7bb60

bend-sendfile: package entry for BendHub.

Anonymous package: import it by hash.

Published
2026-09-27
Size
4,997 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 1 defs, 0 types

Import

import 0x9c94dd62a275a2a52aba6d0315b7bb60/package.bend as Package

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
package.bendrelies on unsafe/foreign 1 def relies on unsafe or foreign code
defs: File.sendfile
output
SOME PROOFS FAIL
Error: 1 def relies on unsafe or foreign code:
- File.sendfile
0.8 s