{pu : Lean.Compiler.LCNF.Purity} →
  Lean.Name →
    Lean.Expr →
      Array (Lean.Compiler.LCNF.Param pu) →
        Lean.Compiler.LCNF.Code pu → Lean.Compiler.LCNF.CompilerM (Lean.Compiler.LCNF.FunDecl pu)