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