Documentation

Lean.Compiler.LCNF.Simp

source
def Lean.Compiler.LCNF.Decl.simp? (decl : Decl) :
Simp.SimpM (Option Decl)
Equations
    Instances For
      source
      def Lean.Compiler.LCNF.Decl.simp (decl : Decl) (config : Simp.Config) :
      CompilerM Decl
      Equations
        Instances For
          source
          partial def Lean.Compiler.LCNF.Decl.simp.go (decl : Decl) (config : Simp.Config) :
          CompilerM Decl
          source
          def Lean.Compiler.LCNF.simp (config : Simp.Config := { }) (occurrence : Nat := 0) (phase : Phase := Phase.base) :
          Pass
          Equations
            Instances For