TFree
isabelle
TVar
isabelle
Term
isabelle
Typ
isabelle
Type
isabelle
tagged
Codec
termCodec
Term
toCodec
Variant
toString
BuildInfo
transform
Codec
triple
Codec
tum
edu
tuple
Codec
typ
Abs
Const
Free
Var
typCodec
Typ