The IR package provides syntax of and operations on the [[Intermediate Representation]]. * [[IntermediateRepresentation]] -- concrete and abstract syntax * PPIR -- Pretty-print table for * [[IRCanonicalize]] --canonicalization of IntermediateRepresentation * [[IRFormat]], [[CIRFormat]] -- Stratego.FormatCheckers for IR and CIR formats [[IR Architecture]]