TFree
isabelle
TVar
isabelle
Term
isabelle
Typ
isabelle
Type
isabelle
t
Success
Success
tagged
Codec
termCodec
Term
transform
Codec
triple
Codec
tum
edu
tuple
Codec
typ
Abs
Const
Free
Var
typCodec
Typ