ostd/specs/task/
mod.rs

1use vstd::prelude::*;
2
3verus! {
4
5    pub trait InAtomicMode {
6
7    }
8
9    /// A dummy type satisfying [`InAtomicMode`], used when the concrete
10    /// guard type is irrelevant (e.g. in `external_body` stubs).
11    pub struct AnyAtomicGuard;
12    impl InAtomicMode for AnyAtomicGuard {}
13
14} // verus!

ostd/specs/task/mod.rs

ostd/specs/task/
mod.rs