(* * Copyright (c) 2022 Apple Inc. All rights reserved. * * SPDX-License-Identifier: BSD-2-Clause *) theory union imports "AutoCorres2.CTranslation" begin declare [[c_parser_feedback_level=0, ML_print_depth=1000, legacy_anonymous_names = false]] include_C_file "union.h" for union.c