Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
def
Lean.Compiler.LCNF.runCompilerWithoutModifyingState
{α : Type}
(x : Lean.Compiler.LCNF.CompilerM α)
 :
Execute x in CoreM without modifying Cores state.
This is useful if we want make sure we do not affect the next free variable id.
Instances For
Similar to ppDecl, but in CoreM, and it does not assume
decl has already been internalized.
This function is used for debugging purposes.
Instances For
Similar to ppCode, but in CoreM, and it does not assume
code has already been internalized.