Expand description
Unit resolution - maps unit strings to Lemma unit types
Functions§
- resolve_
conversion_ target - Resolve a unit conversion target (for “in” expressions)
- resolve_
unit - Resolve a unit string and value to a LiteralValue
Unit resolution - maps unit strings to Lemma unit types