∀ (env : NonScalar) (opts : Lean.Options) (realizeMapRef : IO.Ref (Lean.NameMap NonScalar)) (env_1 : NonScalar)
  (opts_1 : Lean.Options) (realizeMapRef_1 : IO.Ref (Lean.NameMap NonScalar)),
  ({ env := env, opts := opts, realizeMapRef := realizeMapRef } =
      { env := env_1, opts := opts_1, realizeMapRef := realizeMapRef_1 }) =
    (env = env_1 ∧ opts = opts_1 ∧ realizeMapRef = realizeMapRef_1)