- occurrence : Nat
Which occurrence of the pass in the pipeline this is. Some passes, like simp, can occur multiple times in the pipeline. For most passes this value does not matter.
- phase : Lean.Compiler.LCNF.Phase
Which phase this
Passis supposed to run in
- phaseOut : Lean.Compiler.LCNF.Phase
- phaseInv : s.phaseOut ≥ s.phase
- name : Lake.Name
The name of the
The actual pass function, operating on the
A single compiler
Pass, consisting of the actual pass function operating
Decls as well as meta information.
Can be used to install, remove, replace etc. passes by tagging a declaration
PassInstaller with the