Extensions.UnitsEnvironment

type EqualityConstrained

data Solver

data AssumeLiterals

data UnitConstant

data VarCol

data VarBinder

type VarColEnv

data UnitVarCategory

type DerivedUnitEnv

type ProcedureNames

type Procedure

type ProcedureEnv

type LinearSystem

type Row

type Col

type DebugInfo

data UnitEnv

emptyUnitEnv

varColEnv

unitVarCats

underdeterminedCols

tmpRowsAdded

tmpColsAdded

success

report

reorderedCols

procedureEnv

linearSystem

evUnitsAdded

evCriticals

derivedUnitEnv

debugInfo

calls

resetTemps

trim

data Consistency a

efmap

ifDebug