units-2.4.1.2: A domain-specific type system for dimensional analysis

Index - |

|* 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
|*^| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|*|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|+| 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
|-| 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
|.+^| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|.-.| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|.-^| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|.| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|/ 
1 (Function)Data.Metrology.Vector
2 (Function)Data.Metrology.Poly, Data.Metrology
|/=|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|/|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|<=|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|<|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|==|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|>=|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|>|Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|^Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology
|^*Data.Metrology.Linear
|^*| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|^+^|Data.Metrology.Linear
|^-^|Data.Metrology.Linear
|^/Data.Metrology.Linear
|^/| 
1 (Function)Data.Metrology.Linear
2 (Function)Data.Metrology.Vector
|^^Data.Metrology.Vector, Data.Metrology.Poly, Data.Metrology