author | wenzelm |
Wed, 12 Mar 2025 11:39:00 +0100 | |
changeset 82265 | 4b875a4c83b0 |
parent 76351 | 2cee31cd92f0 |
permissions | -rw-r--r-- |
(* Title: Pure/General/zstd.ML Author: Makarius Support for Zstd compression (via Isabelle/Scala). *) signature Zstd = sig val compress: Bytes.T -> Bytes.T val uncompress: Bytes.T -> Bytes.T end; structure Zstd: Zstd = struct val compress = \<^scala>\<open>Zstd.compress\<close>; val uncompress = \<^scala>\<open>Zstd.uncompress\<close>; end;