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