Module lower 

Lowering validated Draxl Rust-profile input to ordinary Rust source.

Lowering assumes the input already passed structural validation. The output strips Draxl metadata and preserves only the modeled Rust subset.

Functions

lower_file

Lowers a validated Draxl file to ordinary Rust.