0x9bfd9d57 relies on unsafe/foreign
0x9bfd9d57916f3439316c2775fd1f10b4
snap: program runner for Bend 2. `run` (and `exec`) run a
Anonymous package: import it by hash.
- Published
- 2026-09-21
- Size
- 21,838 bytes, 7 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 28 defs, 0 types
Import
import 0x9bfd9d57916f3439316c2775fd1f10b4/main.bend as Main
Modules
- main.bend 28 declarations — snap: program runner for Bend 2. `run` (and `exec`) run a
Other files
- exec.c 2,166 bytes
- exec.js 522 bytes
- par.c 8,196 bytes
- par.js 1,435 bytes
- start.c 1,548 bytes
- start.js 581 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 | 7 defs rely on unsafe or foreign code defs: snaprun.exec, snaprun.start, snaprun.par, run, exec, start, paroutputSOME PROOFS FAIL Error: 7 defs rely on unsafe or foreign code: - snaprun.exec - snaprun.start - snaprun.par - run - exec - start - par | 0.8 s |