src/Pure/General/xz.ML

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/General/xz.ML	Sat Jun 25 13:19:15 2022 +0200
@@ -0,0 +1,19 @@
+(*  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.function1_bytes "XZ.compress";
+val uncompress = Scala.function1_bytes "XZ.uncompress";
+
+end;