∀ {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