pub fn apply_transformations(
codegen: &mut CodeGen,
spec: &mut SigmaCompSpec,
) -> Result<()>Expand description
Apply all of the compiler transformations.
The disjunction invariant must be true before calling this function, and will remain true after each transformation (and at the end of this function). Call enforce_disjunction_invariant before calling this function if you’re not sure the disjunction invariant already holds.