Skip to main content
Module slice
vstd_
extra
Module slice
Module Items
Functions
In vstd_
extra::
external
vstd_extra
::
external
Module
slice
Copy item path
Source
Functions
§
_verus_
external_
fn_
specification_
15__
60__
32__
91_
T_
93__
32__
62__
32__
58__
58__
32_
as__
ptr
⚠
_verus_
external_
fn_
specification_
16__
60__
32__
91_
T_
93__
32__
62__
32__
58__
58__
32_
as__
mut__
ptr
⚠
as_
ptr_
spec