The definition for the type typename is returned.

This function can only be used to retrieve definitions of types that have been registered using TypeTools[AddType]. In particular, it cannot be used to retrieve built-in types.

$\mathrm{TypeTools}\left[\mathrm{AddType}\right]\left(\mathrm{tff}\,'\left\{\mathrm{identical}\left(\mathrm{FAIL}\right)\,\mathrm{identical}\left(\mathrm{false}\right)\,\mathrm{identical}\left(\mathrm{true}\right)\right\}'\right)$

$\mathrm{TypeTools}\left[\mathrm{GetType}\right]\left(\mathrm{tff}\right)$

$\left\{\mathrm{identical}\left(\mathrm{FAIL}\right)\,\mathrm{identical}\left(\mathrm{false}\right)\,\mathrm{identical}\left(\mathrm{true}\right)\right\}$

$\mathrm{TypeTools}\left[\mathrm{AddType}\right]\left(\mathrm{integer7}\,t\mapsto \mathrm{evalb}\left(t::\mathrm{integer}\mathbf{and}\mathrm{irem}\left(t\,7\right)=0\right)\right)$

$a≔\mathrm{TypeTools}\left[\mathrm{GetType}\right]\left(\mathrm{integer7}\right)$

$a≔\mathrm{TypeTools/integer7}$

$\mathrm{print}\left(a\right)$

$t\mapsto \mathrm{evalb}\left(t::\mathbb{Z}\mathbf{and}\mathrm{irem}\left(t\,7\right)=0\right)$