Skip to main content

Module exec

vest_lib::combinators::bytes

Module exec 

Source
Expand description

Executable trait implementations for this combinator. Executable implementations for fixed- and variable-length bytes.

Structs§

ExTryFromSliceError
Opaque view of core’s slice-to-array conversion error.

Functions§

_verus_external_fn_specification_1__60__32__38__32__39_a_32__91_T_59__32_N_93__32_as_32_TryFrom_32__60__32__38__32__39_a_32__91_T_93__32__62__32__62__32__58__58__32_try__from⚠