src/Pure/General/xz.ML

clarified modules;

(*  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;