Module std_extra
vstd_
extra
Module std_
extra
Module Items
Functions
In crate vstd_
extra
vstd_extra
Module
std_
extra
Copy item path
Source
Functions
§
_verus_
external_
fn_
specification_
9__
60__
32__
91_
T_
93__
32__
62__
32__
58__
58__
32_
as__
ptr
⚠
as_
ptr_
spec