docs menu

Module Ymir_units

Exact physical units and quantities.

Unit is a unit as an exact value: a product of primes, π and named symbols with rational exponents, with one canonical text. A conversion between two units is one correctly rounded multiply, or it raises. Quantity is a value in a unit, a structure that rune's transformations carry with no rule of their own. A quantity's payload lies where its operands' did; Constant.quantity makes host values.

The SI fixes some constants exactly, so they are units (Unit.planck). A measured constant is a Constant of a Codata release the program names. A unit has no name: Vocabulary spells it with the symbols a caller chooses.

#module Unit : sig ... end

Units as exact values.

#module Quantity : sig ... end

Values in a unit.

#module Constant : sig ... end

Measured constants.

#module Codata : sig ... end

CODATA releases of the measured constants.

#module Vocabulary : sig ... end

Names for units.