ostd/specs/task/mod.rs
1use vstd::prelude::*;
2
3verus! {
4
5pub 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).
11pub struct AnyAtomicGuard;
12
13impl InAtomicMode for AnyAtomicGuard {
14
15}
16
17} // verus!