- t -

• Tactic_DRQ : Context
• TacticNames : Context
• TailDecl : ListSort
• Terms : Pattern
• TesterDecl : Constructor
• TesterDecls : EnumSort
• this[Goal g] : Probe , Tactic
• this[string key] : Statistics
• this[uint i] : ASTVector