Array (Lean.Compiler.LCNF.Decl Lean.Compiler.LCNF.Purity.impure) →
  Array (Lean.Compiler.LCNF.Signature Lean.Compiler.LCNF.Purity.impure) →
    Lean.Name →
      Lean.Name → Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.impure) → Lean.Compiler.LCNF.Context✝