Skip to main content

UNITS_LEMMA

Constant UNITS_LEMMA 

Source
pub const UNITS_LEMMA: &str = "repo lemma\n\nspec units\n\"\"\"\nSI base units and calendar periods.\nDuration units are canonical `second` (not `hour`).\nLength units are canonical `metre` (not `kilometer`).\nCalendar units are canonical `month` (not `year`).\n\"\"\"\n\ndata duration: quantity\n  -> unit second 1\n  -> unit seconds 1\n  -> unit millisecond 0.001\n  -> unit milliseconds 0.001\n  -> unit microsecond 0.000001\n  -> unit microseconds 0.000001\n  -> unit minute 60\n  -> unit minutes 60\n  -> unit hour 3600\n  -> unit hours 3600\n  -> unit day 86400\n  -> unit days 86400\n  -> unit week 604800\n  -> unit weeks 604800\n  -> trait duration\n\ndata length: quantity\n  -> unit metre 1\n  -> unit metres 1\n  -> unit meter 1\n  -> unit meters 1\n  -> unit millimetre 0.001\n  -> unit millimetres 0.001\n  -> unit millimeter 0.001\n  -> unit millimeters 0.001\n  -> unit centimetre 0.01\n  -> unit centimetres 0.01\n  -> unit centimeter 0.01\n  -> unit centimeters 0.01\n  -> unit kilometre 1000\n  -> unit kilometres 1000\n  -> unit kilometer 1000\n  -> unit kilometers 1000\n\ndata mass: quantity\n  -> unit kilogram 1\n  -> unit kilograms 1\n  -> unit gram 0.001\n  -> unit grams 0.001\n  -> unit milligram 0.000001\n  -> unit milligrams 0.000001\n  -> unit tonne 1000\n  -> unit tonnes 1000\n\ndata current: quantity\n  -> unit ampere 1\n  -> unit amperes 1\n  -> unit milliampere 0.001\n  -> unit milliamperes 0.001\n\ndata temperature: quantity\n  -> unit kelvin 1\n  -> unit kelvins 1\n\ndata substance: quantity\n  -> unit mole 1\n  -> unit moles 1\n  -> unit millimole 0.001\n  -> unit millimoles 0.001\n\ndata luminous_intensity: quantity\n  -> unit candela 1\n  -> unit candelas 1\n\ndata calendar: quantity\n  -> unit month 1\n  -> unit months 1\n  -> unit year 12\n  -> unit years 12\n  -> trait calendar\n";