| changeset 75621 | aeb412065742 |
| parent 75620 | 44815dc2b8f9 |
| child 76183 | 8089593a364a |
| 75620:44815dc2b8f9 | 75621:aeb412065742 |
|---|---|
11 end; |
11 end; |
12 |
12 |
13 structure Base64: BASE64 = |
13 structure Base64: BASE64 = |
14 struct |
14 struct |
15 |
15 |
16 val decode = Scala.function1_bytes "Base64.decode"; |
16 val decode = \<^scala>\<open>Base64.decode\<close>; |
17 val encode = Scala.function1_bytes "Base64.encode"; |
17 val encode = \<^scala>\<open>Base64.encode\<close>; |
18 |
18 |
19 end; |
19 end; |