∀ (eval : Lean.Elab.Command.CommandElabM Lean.MessageData) (printVal : Option Lean.Expr)
  (eval_1 : Lean.Elab.Command.CommandElabM Lean.MessageData) (printVal_1 : Option Lean.Expr),
  ({ eval := eval, printVal := printVal } = { eval := eval_1, printVal := printVal_1 }) =
    (eval = eval_1 ∧ printVal = printVal_1)