Skip to main content
atomic_spec
vstd
In vstd::
prelude
vstd
::
prelude
Function
atomic_
spec
Copy item path
pub fn atomic_spec<A>(_a: A)