Zstd compression for Isabelle/Scala and Isabelle/ML
ML
- Operations for Zstd compression (via Isabelle/Scala):
- Zstd.compress: Bytes.T -> Bytes.T
- Zstd.uncompress: Bytes.T -> Bytes.T
System
- Isabelle/Scala provides generic support for XZ and Zstd compression, via Compress.Options and Compress.Cache. Bytes.uncompress automatically detects the compression scheme.
This refers to Isabelle/f2b98eb6a7a9.
- Projects
- None
- Subscribers
- None