0x1e0cc367 relies on unsafe/foreign
0x1e0cc3677d46304c29af14dfd5553385
bend-init: a proven Bend project in one command.
Anonymous package: import it by hash.
- Published
- 2026-09-20
- Size
- 4,947 bytes, 3 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 17 defs, 0 types
Import
import 0x1e0cc3677d46304c29af14dfd5553385/main.bend as Main
Modules
- main.bend 17 declarations — bend-init: a proven Bend project in one command.
Other files
- effs/dir_make.c 623 bytes
- effs/dir_make.js 331 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 |
|---|---|---|---|
| main.bend | relies on unsafe/foreign | 8 defs rely on unsafe or foreign code defs: Dir.make, generate, create.go, create, one_arg.go, one_arg, with_args, mainoutputSOME PROOFS FAIL Error: 8 defs rely on unsafe or foreign code: - Dir.make - generate - create.go - create - one_arg.go - one_arg - with_args - main | 0.7 s |