0x727917e5 relies on unsafe/foreign
0x727917e5dd8856a2c2be2f67d09d1479
no description
Anonymous package: import it by hash.
- Published
- 2026-09-22
- Size
- 1,582 bytes, 1 files
- License
- MIT-0 (no LICENSE file; the hub's default)
- Declarations
- 0 laws (0 proved), 8 defs, 0 types
Import
import 0x727917e5dd8856a2c2be2f67d09d1479/router.bend as Router
Modules
- router.bend 8 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 |
|---|---|---|---|
| router.bend | relies on unsafe/foreign | 3 defs rely on unsafe or foreign code defs: zip, route.ok, routeoutputSOME PROOFS FAIL Error: 3 defs rely on unsafe or foreign code: - zip - route.ok - route | 0.8 s |