0x57bb52ac relies on unsafe/foreign
0x57bb52acf8b29a1505a8641f7d8f9690
no description
Anonymous package: import it by hash.
- Published
- 2026-10-03
- Size
- 250 bytes, 4 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 3 defs, 0 types
Import
import 0x57bb52acf8b29a1505a8641f7d8f9690/pubproj/entry.bend as Entry import 0x57bb52acf8b29a1505a8641f7d8f9690/sibling/lib.bend as Lib
Modules
- pubproj/entry.bend 2 declarations
- sibling/lib.bend 1 declarations
Other files
- sibling/eff.c 28 bytes
- sibling/eff.js 29 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 |
|---|---|---|---|
| pubproj/entry.bend | relies on unsafe/foreign | 1 def relies on unsafe or foreign code defs: extoutputSOME PROOFS FAIL Error: 1 def relies on unsafe or foreign code: - ext | 0.6 s |
| sibling/lib.bend | checks | ALL PROOFS CHECK | 0.1 s |