~/bend-docscommunity

bend-kit-json@0.5.0.1 relies on unsafe/foreign

0x584fc27920487ceab242392391418d7f

JSON values, parsed and encoded as RFC 8259. Source: https://github.com/paymog/bend-kit/tree/main/json

bend-kit-json@0.5.0.1 by paymog

Other versions (5)
Published
2026-09-27
Size
31,846 bytes, 1 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 112 defs, 6 types

Import

import bend-kit-json@0.5.0.1/json.bend as Json
import 0x584fc27920487ceab242392391418d7f/json.bend as Json

Modules

Dependencies

Dependents

Status on bend 2.0.36

FileStatusChecker saysTime
json.bendrelies on unsafe/foreign 2 defs rely on unsafe or foreign code
defs: encb.go, encode.bytes
output
SOME PROOFS FAIL
Error: 2 defs rely on unsafe or foreign code:
- encb.go
- encode.bytes
2.4 s