1//! Embedded units stdlib loaded at compile time from [`UNITS_LEMMA`]. 2pub const UNITS_LEMMA: &str = include_str!("lemma/units.lemma.std");