Function extract_math_module_from_source 

pub fn extract_math_module_from_source(input: &str) -> String

Like extract_math_rust_from_source, but produces the main-less module (the linkable artifact bundled into an imperative program’s mod proven).