Index - T
| targetMaximize | Language.Hasmtlib.Type.OMT, Language.Hasmtlib |
| targetMinimize | Language.Hasmtlib.Type.OMT, Language.Hasmtlib |
| toIntFun | Language.Hasmtlib.Internal.Parser |
| toIntSort | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| toRealFun | Language.Hasmtlib.Internal.Parser |
| toRealSort | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| true | Language.Hasmtlib.Boolean, Language.Hasmtlib |