~/bend-docscommunity

0xee542cbb relies on unsafe/foreign

0xee542cbbb769c012fbef4eac7dcba335

Match an HTTP method and path to a handler.

Anonymous package: import it by hash.

Published
2026-09-23
Size
1,628 bytes, 1 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 8 defs, 0 types

Import

import 0xee542cbbb769c012fbef4eac7dcba335/router.bend as Router

Modules

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
router.bendrelies on unsafe/foreign 3 defs rely on unsafe or foreign code
defs: zip, route.ok, route
output
SOME PROOFS FAIL
Error: 3 defs rely on unsafe or foreign code:
- zip
- route.ok
- route
0.9 s