Index

addImplicit	RSTT.Syntax.Layout
afterPrev	RSTT.Syntax.Layout
AlexA#	RSTT.Syntax.Lex
AlexAcc
1 (Data Constructor)	RSTT.Syntax.Lex
2 (Type/Class)	RSTT.Syntax.Lex
AlexAccNone	RSTT.Syntax.Lex
AlexAccSkip	RSTT.Syntax.Lex
AlexAddr	RSTT.Syntax.Lex
AlexEOF	RSTT.Syntax.Lex
AlexError	RSTT.Syntax.Lex
alexGetByte	RSTT.Syntax.Lex
alexIndexInt16OffAddr	RSTT.Syntax.Lex
alexIndexInt32OffAddr	RSTT.Syntax.Lex
AlexInput	RSTT.Syntax.Lex
alexInputPrevChar	RSTT.Syntax.Lex
AlexLastAcc
1 (Data Constructor)	RSTT.Syntax.Lex
2 (Type/Class)	RSTT.Syntax.Lex
AlexLastSkip	RSTT.Syntax.Lex
alexMove	RSTT.Syntax.Lex
AlexNone	RSTT.Syntax.Lex
AlexReturn	RSTT.Syntax.Lex
alexScan	RSTT.Syntax.Lex
alexScanUser	RSTT.Syntax.Lex
AlexSkip	RSTT.Syntax.Lex
alexStartPos	RSTT.Syntax.Lex
AlexToken	RSTT.Syntax.Lex
alex_accept	RSTT.Syntax.Lex
alex_actions	RSTT.Syntax.Lex
alex_action_3	RSTT.Syntax.Lex
alex_action_4	RSTT.Syntax.Lex
alex_action_5	RSTT.Syntax.Lex
alex_action_6	RSTT.Syntax.Lex
alex_action_7	RSTT.Syntax.Lex
alex_action_8	RSTT.Syntax.Lex
alex_base	RSTT.Syntax.Lex
alex_check	RSTT.Syntax.Lex
alex_deflt	RSTT.Syntax.Lex
alex_scan_tkn	RSTT.Syntax.Lex
alex_table	RSTT.Syntax.Lex
alex_tab_size	RSTT.Syntax.Lex
antisymLEQ	RSTT.Tope.Proof
applyRulesM	RSTT.Tope.Proof
applySubsts	RSTT.Interpret
axiom	RSTT.Tope.Proof
B	RSTT.Syntax.Lex
Block	RSTT.Syntax.Layout
BTree	RSTT.Syntax.Lex
Byte	RSTT.Syntax.Lex
choose	RSTT.Tope.Proof
close	RSTT.Tope.Proof
collectPointVars	RSTT.Interpret
collectRulePoints	RSTT.Interpret
collectSequentPoints	RSTT.Interpret
collectTopePoints	RSTT.Interpret
Column	RSTT.Syntax.Layout
column	RSTT.Syntax.Layout
concatD	RSTT.Syntax.Print
concatS	RSTT.Syntax.Print
confirm	RSTT.Syntax.Layout
convertCube	RSTT.Interpret
convertCubeContext	RSTT.Interpret
convertPoint	RSTT.Interpret
convertRule	RSTT.Interpret
convertSequent	RSTT.Interpret
convertTope	RSTT.Interpret
convertTopeContext	RSTT.Interpret
Cube
1 (Type/Class)	RSTT.Syntax.Abs
2 (Type/Class)	RSTT.Cube
CubeCon
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
CubeContext
1 (Type/Class)	RSTT.Syntax.Abs
2 (Type/Class)	RSTT.Cube
CubeContextEmpty	RSTT.Syntax.Abs
CubeContextNonEmpty	RSTT.Syntax.Abs
CubeProduct
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
CubeUnit
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
CubeVar
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
Decl	RSTT.Syntax.Abs
DeclCommandProve	RSTT.Syntax.Abs
DeclCommandRenderLatex	RSTT.Syntax.Abs
DeclCube	RSTT.Syntax.Abs
DeclShape	RSTT.Syntax.Abs
DeclTopePrefix	RSTT.Syntax.Abs
DefinedRules
1 (Data Constructor)	RSTT.Tope.Proof
2 (Type/Class)	RSTT.Tope.Proof
Definitive	RSTT.Syntax.Layout
delimClose	RSTT.Syntax.Layout
delimOpen	RSTT.Syntax.Layout
delimSep	RSTT.Syntax.Layout
depthsTree	RSTT.Tope.Proof
distinctLEQ	RSTT.Tope.Proof
Doc	RSTT.Syntax.Print
doc	RSTT.Syntax.Print
eitherResIdent	RSTT.Syntax.Lex
Err	RSTT.Syntax.Lex
ex1	RSTT.Tope.Proof
ex2	RSTT.Tope.Proof
ex3	RSTT.Tope.Proof
ex4	RSTT.Tope.Proof
ex5	RSTT.Tope.Proof
Explicit	RSTT.Syntax.Layout
fromDefinedRules	RSTT.Tope.Proof
getLabel	RSTT.Cube
getVar	RSTT.Cube
happyError	RSTT.Syntax.Par
Implicit	RSTT.Syntax.Layout
indentation	RSTT.Syntax.Layout
interpret	RSTT.Interpret
interpretDecl	RSTT.Interpret
interpretIO	RSTT.Interpret
interpretProgram	RSTT.Interpret
interpretProgramIO	RSTT.Interpret
invertibleCutRules	RSTT.Tope.Proof
invertibleRules	RSTT.Tope.Proof
isImplicit	RSTT.Syntax.Layout
isLayout	RSTT.Syntax.Layout
isLayoutClose	RSTT.Syntax.Layout
isLayoutOpen	RSTT.Syntax.Layout
isLayoutSep	RSTT.Syntax.Layout
isParenClose	RSTT.Syntax.Layout
isParenOpen	RSTT.Syntax.Layout
isStop	RSTT.Syntax.Layout
isTokenIn	RSTT.Syntax.Layout
Label
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Type/Class)	RSTT.Syntax.Abs
3 (Data Constructor)	RSTT.Cube
4 (Type/Class)	RSTT.Cube
layoutClose	RSTT.Syntax.Layout
LayoutDelimiters
1 (Data Constructor)	RSTT.Syntax.Layout
2 (Type/Class)	RSTT.Syntax.Layout
layoutError	RSTT.Syntax.Layout
layoutOpen	RSTT.Syntax.Layout
layoutSep	RSTT.Syntax.Layout
layoutStopWords	RSTT.Syntax.Layout
layoutWords	RSTT.Syntax.Layout
Leaf	RSTT.Tope.Proof
leftAnd	RSTT.Tope.Proof
leftImplies	RSTT.Tope.Proof
leftOr	RSTT.Tope.Proof
lemLEQ	RSTT.Tope.Proof
Line
1 (Type/Class)	RSTT.Syntax.Layout
2 (Data Constructor)	RSTT.Syntax.Abs
3 (Type/Class)	RSTT.Syntax.Abs
line	RSTT.Syntax.Layout
markIncomplete	RSTT.Tope.Proof
matchPoint	RSTT.Interpret
matchSequent	RSTT.Interpret
matchTope	RSTT.Interpret
matchTopeContext	RSTT.Interpret
matchTopes	RSTT.Interpret
matchVars	RSTT.Interpret
merge	RSTT.Interpret
mergeManySubsts	RSTT.Interpret
mergeSubsts	RSTT.Interpret
mkEsc	RSTT.Syntax.Print
mkPosToken	RSTT.Syntax.Lex
myLexer	RSTT.Syntax.Par
N	RSTT.Syntax.Lex
newLine	RSTT.Syntax.Layout
nextPos	RSTT.Syntax.Layout
Node	RSTT.Tope.Proof
normalizeSequent	RSTT.Interpret
nubSort	RSTT.Interpret
nullaryPoint	RSTT.Syntax.Abs
NullaryPointConDecl	RSTT.Syntax.Abs
oneLEQ	RSTT.Tope.Proof
orElse	RSTT.Tope.Proof
parenClose	RSTT.Syntax.Layout
parenOpen	RSTT.Syntax.Layout
parenth	RSTT.Syntax.Print
pCube	RSTT.Syntax.Par
pCube1	RSTT.Syntax.Par
pCubeContext	RSTT.Syntax.Par
pDecl	RSTT.Syntax.Par
pListCube	RSTT.Syntax.Par
pListDecl	RSTT.Syntax.Par
pListPoint	RSTT.Syntax.Par
pListPointConDecl	RSTT.Syntax.Par
pListPointDecl	RSTT.Syntax.Par
pListSequent	RSTT.Syntax.Par
pListTope	RSTT.Syntax.Par
pListTopeRule	RSTT.Syntax.Par
Pn	RSTT.Syntax.Lex
Point
1 (Type/Class)	RSTT.Syntax.Abs
2 (Type/Class)	RSTT.Cube
PointCon
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
PointConDecl	RSTT.Syntax.Abs
PointDecl
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Type/Class)	RSTT.Syntax.Abs
PointFirst
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
PointPair
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
PointPattern	RSTT.Syntax.Abs
PointPatternPair	RSTT.Syntax.Abs
PointPatternVar	RSTT.Syntax.Abs
PointSecond
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
PointUnit
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
PointVar
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Data Constructor)	RSTT.Cube
Position	RSTT.Syntax.Layout
posLineCol	RSTT.Syntax.Lex
Posn	RSTT.Syntax.Lex
ppCube	RSTT.Cube
ppCubeContext	RSTT.Cube
ppCubePrec	RSTT.Cube
ppNodesWithDepth	RSTT.Tope.Proof
pPoint	RSTT.Syntax.Par
pPointConDecl	RSTT.Syntax.Par
pPointDecl	RSTT.Syntax.Par
pPointPattern	RSTT.Syntax.Par
ppPoint	RSTT.Cube
ppPointPrec	RSTT.Cube
ppProof	RSTT.Tope.Proof
pProgram	RSTT.Syntax.Par
ppSequent	RSTT.Tope.Proof
ppShape	RSTT.Tope
ppTope	RSTT.Tope
ppTopeContext	RSTT.Tope
ppTopePrec	RSTT.Tope
PrefixPointConDecl	RSTT.Syntax.Abs
Print	RSTT.Syntax.Print
printPosn	RSTT.Syntax.Lex
printString	RSTT.Syntax.Print
printTree	RSTT.Syntax.Print
Program
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Type/Class)	RSTT.Syntax.Abs
Proof	RSTT.Tope.Proof
proofNodesWithDepth	RSTT.Tope.Proof
ProofTree	RSTT.Tope.Proof
proveAndPrintBFS	RSTT.Tope.Proof
proveAndPrintBFSviaDFS	RSTT.Tope.Proof
proveAndPrintDFS	RSTT.Tope.Proof
proveWithBFSviaDFS	RSTT.Tope.Proof
proveWithBFSviaDFS'	RSTT.Tope.Proof
proveWithDFS	RSTT.Tope.Proof
proveWithDFS'	RSTT.Tope.Proof
prPrec	RSTT.Syntax.Print
prt	RSTT.Syntax.Print
prToken	RSTT.Syntax.Lex
pRuleName	RSTT.Syntax.Par
pSequent	RSTT.Syntax.Par
pShape	RSTT.Syntax.Par
PT	RSTT.Syntax.Lex
pTope	RSTT.Syntax.Par
pTope1	RSTT.Syntax.Par
pTope2	RSTT.Syntax.Par
pTope3	RSTT.Syntax.Par
pTopeContext	RSTT.Syntax.Par
pTopeRule	RSTT.Syntax.Par
quickIndex	RSTT.Syntax.Lex
reflEQ	RSTT.Tope.Proof
reflLEQ	RSTT.Tope.Proof
render	RSTT.Syntax.Print
replacePoint	RSTT.Tope
replacePointInTope	RSTT.Tope
replicateS	RSTT.Syntax.Print
resolveLayout	RSTT.Syntax.Layout
resWords	RSTT.Syntax.Lex
rightAnd	RSTT.Tope.Proof
rightImplies	RSTT.Tope.Proof
rightOrL	RSTT.Tope.Proof
rightOrR	RSTT.Tope.Proof
ruleBottom	RSTT.Tope.Proof
RuleName
1 (Type/Class)	RSTT.Tope.Proof
2 (Data Constructor)	RSTT.Syntax.Abs
3 (Type/Class)	RSTT.Syntax.Abs
Rules	RSTT.Tope.Proof
rulesEQ	RSTT.Tope.Proof
rulesLEQ	RSTT.Tope.Proof
rulesLJ	RSTT.Tope.Proof
rulesLJE	RSTT.Tope.Proof
RulesM
1 (Data Constructor)	RSTT.Tope.Proof
2 (Type/Class)	RSTT.Tope.Proof
ruleTop	RSTT.Tope.Proof
selectN	RSTT.Tope.Proof
selectOne	RSTT.Tope.Proof
Sequent
1 (Data Constructor)	RSTT.Tope.Proof
2 (Type/Class)	RSTT.Tope.Proof
3 (Data Constructor)	RSTT.Syntax.Abs
4 (Type/Class)	RSTT.Syntax.Abs
sequentCubeContext	RSTT.Tope.Proof
sequentTope	RSTT.Tope.Proof
sequentTopeContext	RSTT.Tope.Proof
Shape
1 (Data Constructor)	RSTT.Tope
2 (Type/Class)	RSTT.Tope
3 (Data Constructor)	RSTT.Syntax.Abs
4 (Type/Class)	RSTT.Syntax.Abs
shapePoint	RSTT.Tope
shapeTope	RSTT.Tope
Status	RSTT.Syntax.Layout
sToken	RSTT.Syntax.Layout
subPointOf	RSTT.Tope
substCubeVars	RSTT.Interpret
substEQ	RSTT.Tope.Proof
substInCubeContext	RSTT.Interpret
substInPoint	RSTT.Interpret
substInTope	RSTT.Interpret
substInTopeContext	RSTT.Interpret
substPointVars	RSTT.Interpret
Substs
1 (Data Constructor)	RSTT.Interpret
2 (Type/Class)	RSTT.Interpret
substTopeVars	RSTT.Interpret
symEQ	RSTT.Tope.Proof
tableauCutRule	RSTT.Interpret
tableauRule	RSTT.Interpret
tableauxCutRules	RSTT.Tope.Proof
tableauxRules	RSTT.Tope.Proof
TC	RSTT.Syntax.Lex
TD	RSTT.Syntax.Lex
Tentative	RSTT.Syntax.Layout
TI	RSTT.Syntax.Lex
TK	RSTT.Syntax.Lex
TL	RSTT.Syntax.Lex
Tok	RSTT.Syntax.Lex
tok	RSTT.Syntax.Lex
Token	RSTT.Syntax.Lex
tokenLength	RSTT.Syntax.Layout
tokenLineCol	RSTT.Syntax.Lex
tokenPos	RSTT.Syntax.Lex
tokenPosn	RSTT.Syntax.Lex
tokens	RSTT.Syntax.Lex
tokenText	RSTT.Syntax.Lex
TokSymbol
1 (Data Constructor)	RSTT.Syntax.Lex
2 (Type/Class)	RSTT.Syntax.Lex
Tope
1 (Type/Class)	RSTT.Tope
2 (Type/Class)	RSTT.Syntax.Abs
TopeAnd
1 (Data Constructor)	RSTT.Tope
2 (Data Constructor)	RSTT.Syntax.Abs
TopeBottom
1 (Data Constructor)	RSTT.Tope
2 (Data Constructor)	RSTT.Syntax.Abs
TopeCon
1 (Data Constructor)	RSTT.Tope
2 (Data Constructor)	RSTT.Syntax.Abs
TopeContext
1 (Type/Class)	RSTT.Tope
2 (Type/Class)	RSTT.Syntax.Abs
TopeContextEmpty	RSTT.Syntax.Abs
TopeContextNonEmpty	RSTT.Syntax.Abs
TopeEQ
1 (Data Constructor)	RSTT.Tope
2 (Data Constructor)	RSTT.Syntax.Abs
TopeImplies
1 (Data Constructor)	RSTT.Tope
2 (Data Constructor)	RSTT.Syntax.Abs
TopeOr
1 (Data Constructor)	RSTT.Tope
2 (Data Constructor)	RSTT.Syntax.Abs
TopeRule
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Type/Class)	RSTT.Syntax.Abs
TopeTop
1 (Data Constructor)	RSTT.Tope
2 (Data Constructor)	RSTT.Syntax.Abs
TopeVar
1 (Data Constructor)	RSTT.Tope
2 (Data Constructor)	RSTT.Syntax.Abs
transEQ	RSTT.Tope.Proof
transLEQ	RSTT.Tope.Proof
tryClose	RSTT.Tope.Proof
TS	RSTT.Syntax.Lex
tsID	RSTT.Syntax.Lex
tsText	RSTT.Syntax.Lex
TV	RSTT.Syntax.Lex
T_Label	RSTT.Syntax.Lex
T_Line	RSTT.Syntax.Lex
T_Var	RSTT.Syntax.Lex
unescapeInitTail	RSTT.Syntax.Lex
unsafeParseTope	RSTT.Interpret
utf8Encode	RSTT.Syntax.Lex
Var
1 (Data Constructor)	RSTT.Syntax.Abs
2 (Type/Class)	RSTT.Syntax.Abs
3 (Data Constructor)	RSTT.Cube
4 (Type/Class)	RSTT.Cube
zeroLEQ	RSTT.Tope.Proof