vstd_extra/external/acpi.rs
1// SPDX-License-Identifier: MPL-2.0
2//! External type specifications for the `acpi` crate.
3use vstd::prelude::*;
4
5verus! {
6
7/// Verus proxy for the ACPI System Description Table header.
8#[verifier::external_type_specification]
9#[verifier::external_body]
10pub struct ExSdtHeader(::acpi::sdt::SdtHeader);
11
12} // verus!