tip-lib-0.2.2: tons of inductive problems - support library and tools (Index - T)

tip-lib-0.2.2: tons of inductive problems - support library and tools

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
:
$
/
=
\
All

Index - T

tell	Tip.Writer
tffify	Tip.Pretty.TFF
tffvarify	Tip.Pretty.TFF
TH	Tip.Haskell.Repr
Theory
1 (Type/Class)	Tip.Types, Tip.Core
2 (Data Constructor)	Tip.Types, Tip.Core
theoryBoolOpToIf	Tip.Pass.Booleans, Tip.Passes
theoryBuiltins	Tip.Haskell.Translate
theoryDecls	Tip.Types, Tip.Core
theoryGoals	Tip.Core
theorySigs	Tip.Haskell.Translate
theoryStuff	Tip.CallGraph
theoryTypes	Tip.Core
THSplice	Tip.Haskell.Repr
thy_asserts	Tip.Types, Tip.Core
thy_datatypes	Tip.Types, Tip.Core
thy_funcs	Tip.Types, Tip.Core
thy_sigs	Tip.Types, Tip.Core
thy_sorts	Tip.Types, Tip.Core
tipDSL	Tip.Haskell.Translate
topsort	Tip.Core
touch_lets	Tip.Simplify, Tip.Passes
transformExpr	Tip.Types, Tip.Core
transformExprIn	Tip.Types, Tip.Core
transformExprInM	Tip.Types, Tip.Core
transformExprM	Tip.Types, Tip.Core
transformType	Tip.Types, Tip.Core
transformTypeInDecl	Tip.Types, Tip.Core
transformTypeInExpr	Tip.Types, Tip.Core
trBuiltinType	Tip.Haskell.Translate
trTheory	Tip.Haskell.Translate
trTheory'	Tip.Haskell.Translate
trType	Tip.Haskell.Translate
trueExpr	Tip.Core
trueName	Tip.Pass.Booleans
tryMatch	Tip.Simplify
Tup	Tip.Haskell.Repr
tuple	Tip.Pretty.Haskell
TupPat	Tip.Haskell.Repr
TyArr	Tip.Haskell.Repr
TyCon
1 (Data Constructor)	Tip.Haskell.Repr
2 (Data Constructor)	Tip.Types, Tip.Core
TyCtx	Tip.Haskell.Repr
TyForall	Tip.Haskell.Repr
TyImp	Tip.Haskell.Repr
Type
1 (Type/Class)	Tip.Haskell.Repr
2 (Type/Class)	Tip.Types, Tip.Core
typeable	Tip.Haskell.Translate
TypeDef	Tip.Haskell.Repr
TypeInfo	Tip.Scope
typeOfBuiltin	Tip.Haskell.Translate
types	Tip.Scope
TypeSkolemConjecture	Tip.Passes
typeSkolemConjecture	Tip.Passes
TySig	Tip.Haskell.Repr
TyTup	Tip.Haskell.Repr
TyVar
1 (Data Constructor)	Tip.Haskell.Repr
2 (Data Constructor)	Tip.Types, Tip.Core
TyVarInfo	Tip.Scope
tyVars	Tip.Core