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