pub fn extract_logic_module(input: &str) -> Result<String, String>Expand description
Like extract_logic_rust, but emits NO demo main — the linkable form bundled
into an imperative program’s mod proven (which has its own main). Produces the
World + holds (+ Monitor) library items only.