author | wenzelm |
Sat, 25 Jun 2022 13:19:15 +0200 | |
changeset 75620 | 44815dc2b8f9 |
child 75621 | aeb412065742 |
permissions | -rw-r--r-- |
(* Title: Pure/System/base64.ML Author: Makarius Support for Base64 data encoding (via Isabelle/Scala). *) signature BASE64 = sig val decode: Bytes.T -> Bytes.T val encode: Bytes.T -> Bytes.T end; structure Base64: BASE64 = struct val decode = Scala.function1_bytes "Base64.decode"; val encode = Scala.function1_bytes "Base64.encode"; end;