Theory fnptr_enum

(*
 * Copyright (c) 2023 Apple Inc. All rights reserved. 
 *
 * SPDX-License-Identifier: BSD-2-Clause
 *)

theory fnptr_enum
imports AutoCorres2.CTranslation
begin

install_C_file "fnptr_enum.c"




end