(* Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. SPDX-License-Identifier: MIT *) (*<*) theory Micro_Rust_Runtime imports Atomic_Resource Hybrid_References Raw_Physical_Memory_Trie Raw_Physical_Memory_Trie_PP Raw_Physical_Memory_Trie_Core Raw_Physical_Memory_Trie_Example Raw_Physical_References Runtime_Heap Shareable_Resource begin end (*>*)