pub fn lower(inputs: &ProofLowerInputs<'_>) -> ProofIRExpand description
Run every proof-export lowering in one shot — convenience for
callers that want a fully-populated ProofIR. The pipeline calls
the three populate_* fns directly so it can run them as
independent stages and short-circuit on typecheck failure.