0x28f6ecc3 relies on unsafe/foreign
0x28f6ecc344c73ee11f306ee894f311ba
no description
Anonymous package: import it by hash.
- Published
- 2026-09-27
- Size
- 51 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 1 defs, 0 types
Import
import 0x28f6ecc344c73ee11f306ee894f311ba/vf01_unsafe_empty.bend as Vf01_unsafe_empty
Modules
- vf01_unsafe_empty.bend 1 declarations
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 |
|---|---|---|---|
| vf01_unsafe_empty.bend | relies on unsafe/foreign | 1 def relies on unsafe or foreign code defs: boomoutputSOME PROOFS FAIL Error: 1 def relies on unsafe or foreign code: - boom | 0.7 s |