pub fn emit_rust(program: &Program) -> Result<Emitted>
Emits a checked program as Rust.
On constructs the target cannot express faithfully.