DecodingException
isabelle
dec
Variant
decode
Codec
dispose
System
dummyT
Typ