∀ (fvars : Array Lean.Expr) (mvarIdPending : Lean.MVarId) (fvars_1 : Array Lean.Expr) (mvarIdPending_1 : Lean.MVarId),
  ({ fvars := fvars, mvarIdPending := mvarIdPending } = { fvars := fvars_1, mvarIdPending := mvarIdPending_1 }) =
    (fvars = fvars_1 ∧ mvarIdPending = mvarIdPending_1)