~/bend-docscommunity

bend-kit-zlib@0.1.2.0 relies on unsafe/foreign

0xb9f9c651eeabd1f0640295ef9e84caad

DEFLATE, gzip, and zlib encoding and decoding (RFC 1951, 1952, 1950) over byte strings, and zstd decoding through libzstd. Source: https://github.com/paymog/bend-kit/tree/main/zlib

bend-kit-zlib@0.1.2.0 by paymog

Other versions (7)
Published
2026-09-27
Size
44,236 bytes, 3 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 194 defs, 13 types

Import

import bend-kit-zlib@0.1.2.0/zlib.bend as Zlib
import 0xb9f9c651eeabd1f0640295ef9e84caad/zlib.bend as Zlib

Modules

Other files

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
zlib.bendrelies on unsafe/foreign 1 def relies on unsafe or foreign code
defs: zstd.words
output
SOME PROOFS FAIL
Error: 1 def relies on unsafe or foreign code:
- zstd.words
0.9 s