(* * Copyright (c) 2022 Apple Inc. All rights reserved. * * SPDX-License-Identifier: BSD-2-Clause *) theory globals imports "AutoCorres2_Main.AutoCorres_Main" begin