~/bend-docscommunity

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

0xc0344463a222d4d3057e74f8fc810bc0

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

bend-kit-json@0.4.0.0 by paymog

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

Import

import bend-kit-json@0.4.0.0/json.bend as Json
import 0xc0344463a222d4d3057e74f8fc810bc0/json.bend as Json

Modules

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

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