nimTitle	guards	guards.html	module guards		0
nim	interestingCaseExpr	guards.html#interestingCaseExpr,PNode	proc interestingCaseExpr(m: PNode): bool		89
nim	buildCall	guards.html#buildCall,PSym,PNode	proc buildCall(op: PSym; a: PNode): PNode		145
nim	buildCall	guards.html#buildCall,PSym,PNode,PNode	proc buildCall(op: PSym; a, b: PNode): PNode		150
nim	lowBound	guards.html#lowBound,ConfigRef,PNode	proc lowBound(conf: ConfigRef; x: PNode): PNode		196
nim	highBound	guards.html#highBound,ConfigRef,PNode,Operators	proc highBound(conf: ConfigRef; x: PNode; o: Operators): PNode		200
nim	buildLe	guards.html#buildLe,Operators,PNode,PNode	proc buildLe(o: Operators; a, b: PNode): PNode		238
nim	canon	guards.html#canon,PNode,Operators	proc canon(n: PNode; o: Operators): PNode		241
nim	buildAdd	guards.html#buildAdd,PNode,BiggestInt,Operators	proc buildAdd(a: PNode; b: BiggestInt; o: Operators): PNode		318
nim	TModel	guards.html#TModel	object TModel		391
nim	addFact	guards.html#addFact,TModel,PNode	proc addFact(m: var TModel; nn: PNode)		396
nim	addFactNeg	guards.html#addFactNeg,TModel,PNode	proc addFactNeg(m: var TModel; n: PNode)		409
nim	sameTree	guards.html#sameTree,PNode,PNode	proc sameTree(a, b: PNode): bool		425
nim	invalidateFacts	guards.html#invalidateFacts,seq[PNode],PNode	proc invalidateFacts(s: var seq[PNode]; n: PNode)		459
nim	invalidateFacts	guards.html#invalidateFacts,TModel,PNode	proc invalidateFacts(m: var TModel; n: PNode)		480
nim	doesImply	guards.html#doesImply,TModel,PNode	proc doesImply(facts: TModel; prop: PNode): TImplication		726
nim	impliesNotNil	guards.html#impliesNotNil,TModel,PNode	proc impliesNotNil(m: TModel; arg: PNode): TImplication		734
nim	simpleSlice	guards.html#simpleSlice,PNode,PNode	proc simpleSlice(a, b: PNode): BiggestInt		737
nim	proveLe	guards.html#proveLe,TModel,PNode,PNode	proc proveLe(m: TModel; a, b: PNode): TImplication		966
nim	addFactLe	guards.html#addFactLe,TModel,PNode,PNode	proc addFactLe(m: var TModel; a, b: PNode)		975
nim	addFactLt	guards.html#addFactLt,TModel,PNode,PNode	proc addFactLt(m: var TModel; a, b: PNode)		978
nim	addDiscriminantFact	guards.html#addDiscriminantFact,TModel,PNode	proc addDiscriminantFact(m: var TModel; n: PNode)		1009
nim	addAsgnFact	guards.html#addAsgnFact,TModel,PNode,PNode	proc addAsgnFact(m: var TModel; key, value: PNode)		1016
nim	sameSubexprs	guards.html#sameSubexprs,TModel,PNode,PNode	proc sameSubexprs(m: TModel; a, b: PNode): bool		1023
nim	addCaseBranchFacts	guards.html#addCaseBranchFacts,TModel,PNode,int	proc addCaseBranchFacts(m: var TModel; n: PNode; i: int)		1039
nim	checkFieldAccess	guards.html#checkFieldAccess,TModel,PNode,ConfigRef,bool	proc checkFieldAccess(m: TModel; n: PNode; conf: ConfigRef; produceError: bool)		1060
nimgrp	buildcall	guards.html#buildCall-procs-all	proc		145
nimgrp	invalidatefacts	guards.html#invalidateFacts-procs-all	proc		459
