Theory Micro_Rust_Parsing_Frontend.Micro_Rust_Parsing_Frontend

(* Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
   SPDX-License-Identifier: MIT *)

theory Micro_Rust_Parsing_Frontend
  imports
    Micro_Rust_Syntax
begin
end