Skip to main content
Module time
vstd_
extra
Module time
Module Items
Functions
In vstd_
extra::
external
vstd_extra
::
external
Module
time
Copy item path
Source
Functions
§
_verus_
external_
fn_
specification_
58_
core_
32__
58__
58__
32_
time_
32__
58__
58__
32_
Duration_
32__
58__
58__
32_
new
⚠
duration_
new_
spec