∀ (lctx : Lean.Compiler.LCNF.LCtx) (nextIdx : ℕ) (lctx_1 : Lean.Compiler.LCNF.LCtx) (nextIdx_1 : ℕ),
  ({ lctx := lctx, nextIdx := nextIdx } = { lctx := lctx_1, nextIdx := nextIdx_1 }) =
    (lctx = lctx_1 ∧ nextIdx = nextIdx_1)