ostd/specs/task/
mod.rs

1use vstd::prelude::*;
2
3verus! {
4
5    pub trait InAtomicMode {
6
7    }
8
9} // verus!