Module bytes
vstd
Module bytes
Module Items
Functions
In crate vstd
Modules
arithmetic
array
atomic
atomic_ghost
bits
bytes
calc_macro
cell
compute
function
hash_map
hash_set
invariant
layout
logatom
map
map_lib
math
modes
multiset
multiset_lib
pcm
pcm_lib
pervasive
prelude
proph
raw_ptr
relations
rwlock
seq
seq_lib
set
set_lib
shared
simple_pptr
slice
std_specs
storage_protocol
string
thread
tokens
view
Macros
assert_by_contradiction
assert_maps_equal
assert_multisets_equal
assert_multisets_equal_internal
assert_seqs_equal
assert_sets_equal
atomic_with_ghost
calc
map
open_atomic_invariant
open_atomic_invariant_in_proof
open_atomic_invariant_in_proof_internal
open_atomic_invariant_internal
open_local_invariant
open_local_invariant_in_proof
open_local_invariant_in_proof_internal
open_local_invariant_internal
pcell_opt
pcell_points
seq
set
vpanic
Functions
group_vstd_default
vstd
Module
bytes
Copy item path
Settings
Help
Summary
Source
Expand description
Conversions to/from bytes
Functions
§
lemma_
auto_
spec_
u16_
to_
from_
le_
bytes
lemma_
auto_
spec_
u32_
to_
from_
le_
bytes
lemma_
auto_
spec_
u64_
to_
from_
le_
bytes
lemma_
auto_
spec_
u128_
to_
from_
le_
bytes
spec_
u16_
from_
le_
bytes
spec_
u16_
to_
le_
bytes
spec_
u32_
from_
le_
bytes
spec_
u32_
to_
le_
bytes
spec_
u64_
from_
le_
bytes
spec_
u64_
to_
le_
bytes
spec_
u64_
to_
le_
bytes_
open
spec_
u64_
to_
le_
bytes_
to_
open
spec_
u128_
from_
le_
bytes
spec_
u128_
to_
le_
bytes
u16_
from_
le_
bytes
u16_
to_
le_
bytes
u32_
from_
le_
bytes
u32_
to_
le_
bytes
u64_
from_
le_
bytes
u64_
to_
le_
bytes
u128_
from_
le_
bytes
u128_
to_
le_
bytes