Analysis.Syntax
data AnnotationFree t
af
unaf
eraseSrcLocs
setCompactSrcLocs
lower
getSubName
accesses
varExprToVariable
varExprToAccess
varExprToAccesses
class Successors t
rhsExpr
lhsExpr
countVariableDeclarations
numberStmts
variables
isConstant
freeVariables
binders
affineMatch
data QueryCmd t
from
topFrom