author | wenzelm |
Sat, 25 Jun 2022 16:51:24 +0200 | |
changeset 75621 | aeb412065742 |
parent 75620 | 44815dc2b8f9 |
child 76183 | 8089593a364a |
permissions | -rw-r--r-- |
(* Title: Pure/System/xz.ML Author: Makarius Support for XZ compression (via Isabelle/Scala). *) signature XZ = sig val compress: Bytes.T -> Bytes.T val uncompress: Bytes.T -> Bytes.T end; structure XZ: XZ = struct val compress = \<^scala>\<open>XZ.compress\<close>; val uncompress = \<^scala>\<open>XZ.uncompress\<close>; end;