Agda.TypeChecking.Serialise

encode

encodeFile

decode

decodeFile

class EmbPrj a