Extensions.Units
(<<)
(<<++)
removeUnits
inferCriticalVariables
inferUnits
countVariables
doInferUnits
inferProgUnits
inferBlockUnits
reduceRows
addProcedure
enterDecls
processVar
unitVarCat
inferDecl
extendConstraints
inferInterproceduralUnits
inferInterproceduralUnits'
class UpdateColInfo t
swapUnitVarCats
swapUnitVarCats'
swapCols
reorderVarCols
assumeLiteralUnits
assumeLiteralUnits'
addInterproceduralConstraints
inferLiteral
data BinOpKind
binOpKind
(<**>)
lookupCaseInsensitive
lookupWithoutSrcSpan
lookupWithSrcSpan
inferExprUnits
inferExprSeqUnits
handleExpr
inferForHeaderUnits
inferSpecUnits
inferStmtUnits
inverse
fixValue
moveElem
incrElem
moveCol
addCol
addRow
addRow'
liftUnitEnv
mustEqual
mustAddUp
powerUnits
sqrtUnits
anyUnits
debugInfoForNonZeros
errorMessage
reportInconsistency
solveSystemM
checkUnderdeterminedM
checkUnderdetermined
criticalVars
criticalVars'
lookupVarsByColsFilterByArg
firstNonZeroCoeff
checkUnderdetermined'
propagateUnderdetermined
intrinsicsDict
addPlain1ArgIntrinsic
addPlain2ArgIntrinsic
addPlain1Arg1ExtraIntrinsic
addPlain2Arg1ExtraIntrinsic
addProductIntrinsic
addPowerIntrinsic
addUnitlessIntrinsic
addUnitlessSubIntrinsic
addUnitlessResult0ArgIntrinsic
addUnitlessResult1ArgIntrinsic
addUnitlessResult2AnyArgIntrinsic
addUnitlessResult2SameArgIntrinsic
fooMatrix
debugGaussian
debugGaussian'
showExpr
showSrcLoc
showSrcSpan
showSrcFile
showExprLines
showArgVars
showCat
lookupProcByArgCol
lookupProcByCols
lookupVarsByCols
lookupVarBindersByCols
showRational
insertUnitsInBlock
removeUnitsInBlock
convertUnit
convertUnits
convertSingleUnit
fromFraction
extractUnit
lookupUnit
lookupUnit'
insertUnits
deleteUnits
hasUnits
isUnit
insertUnit
deleteUnit
insertUnitAttribute
updateAdded
makeUnitSpec
formatUnits
toFraction