~/bend-docscommunity

bend-net-json@0.3.0.0 relies on unsafe/foreign

0x16458a2db4f36577294543ec2a6d420c

JSON values, parsed and encoded as RFC 8259.

bend-net-json@0.3.0.0 by paymog

Earlier versions (1)
Published
2026-09-25
Size
17,743 bytes, 1 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 64 defs, 6 types

Import

import bend-net-json@0.3.0.0/json.bend as Json
import 0x16458a2db4f36577294543ec2a6d420c/json.bend as Json

Modules

Dependencies

No imports from other hub packages.

Dependents

Status on bend 2.0.36

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