∀ {decls : Array (Lean.Compiler.LCNF.Decl Lean.Compiler.LCNF.Purity.pure)} {nextIdx : ℕ}
  {decls_1 : Array (Lean.Compiler.LCNF.Decl Lean.Compiler.LCNF.Purity.pure)} {nextIdx_1 : ℕ},
  { decls := decls, nextIdx := nextIdx } = { decls := decls_1, nextIdx := nextIdx_1 } →
    decls = decls_1 ∧ nextIdx = nextIdx_1