Agda.TypeChecking.Serialise
encode
encodeFile
encodeInterface
decode
decodeFile
decodeInterface
decodeHashes
class EmbPrj a