0xb936378d relies on unsafe/foreign
0xb936378d6b717a2f9e6b5ff568004d36
bend-open-under: package entry for BendHub.
Anonymous package: import it by hash.
- Published
- 2026-09-27
- Size
- 5,737 bytes, 3 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 1 defs, 0 types
Import
import 0xb936378d6b717a2f9e6b5ff568004d36/package.bend as Package
Modules
- package.bend 1 declarations — bend-open-under: package entry for BendHub.
Other files
- file_open_under.c 2,847 bytes
- file_open_under.js 1,835 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 |
|---|---|---|---|
| package.bend | relies on unsafe/foreign | 1 def relies on unsafe or foreign code defs: File.open_underoutputSOME PROOFS FAIL Error: 1 def relies on unsafe or foreign code: - File.open_under | 0.9 s |