Contents
Index
structural-induction-0.1: Instantiate structural induction schemas for algebraic data types
Index
:~
Induction.Structural
Arg
Induction.Structural
caseAnalysis
Induction.Structural
Con
Induction.Structural
conclusion
Induction.Structural
Exp
Induction.Structural
Fun
Induction.Structural
hypotheses
Induction.Structural
Hypothesis
Induction.Structural
implicit
Induction.Structural
linc
Induction.Structural
linObligation
Induction.Structural
linObligations
Induction.Structural
lint
Induction.Structural
linTerm
Induction.Structural
linv
Induction.Structural
NonRec
Induction.Structural
Obligation
1 (Type/Class)
Induction.Structural
2 (Data Constructor)
Induction.Structural
Predicate
Induction.Structural
Rec
Induction.Structural
render
Induction.Structural
strStyle
Induction.Structural
Style
1 (Type/Class)
Induction.Structural
2 (Data Constructor)
Induction.Structural
subtermInduction
Induction.Structural
tag
Induction.Structural
Tagged
Induction.Structural
TaggedObligation
Induction.Structural
Term
Induction.Structural
text
Induction.Structural
TyEnv
Induction.Structural
unTag
Induction.Structural
unTagM
Induction.Structural
unTagMapM
Induction.Structural
Var
Induction.Structural