Array Lean.Compiler.LCNF.Decl →
  Array Lean.Compiler.LCNF.Decl →
    Std.HashMap Lean.Name (Array Lean.Compiler.LCNF.SpecParamInfo) →
      Std.HashMap Lean.Name (Array Bool) → Bool → Lean.Compiler.LCNF.Specialize.State✝