(* Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. SPDX-License-Identifier: MIT *) (*<*) theory Micro_Rust_Interfaces imports Global_Perm_Store Pair_References Raw_Physical_Memory_References Transfer_Raw_Physical_Memory Transfer_References begin end (*>*)