CmpNat | Numeric.TypeLits |
CmpSymbol | Numeric.TypeLits |
compareDim | Numeric.Dimensions.Dim, Numeric.Dimensions |
Concat | Numeric.Dimensions.List, Numeric.Dimensions |
ConcatEvidence | Numeric.Dimensions.List, Numeric.Dimensions |
ConcatList | Numeric.Dimensions.List, Numeric.Dimensions |
Cons | Numeric.Dimensions.List, Numeric.Dimensions |
ConsDim | Numeric.Dimensions.Dim, Numeric.Dimensions |
ConsDimensions | Numeric.Dimensions.Dim, Numeric.Dimensions |