Lowering from the current Draxl Rust profile to ordinary Rust source.
Lowering assumes the input already passed structural validation. The output strips Draxl metadata and preserves only the modeled Rust subset.
Lowering from the current Draxl Rust profile to ordinary Rust source.
Lowering assumes the input already passed structural validation. The output strips Draxl metadata and preserves only the modeled Rust subset.