Up – Package index » tiny_json » Library tiny_json » Tiny_json » Base64

Module `Tiny_json.Base64`Source

Sourceval encode : string -> string

This is Coq derived code.

Sourceval decode : string -> string