@[reducible, inline]

abbrev Units.SI (units : Unit) : Type

Define an SI quantity as a quantity with Float values with a defined set of units.

Equations

• Units.SI units = Units.Quantity units Float