Skip to main content

Module output

vest_lib::core::exec

Module output 

Source
Expand description

Output abstractions for executable serializers.

Structs§

OutputSlice
A non-allocating append sink backed by a caller-provided slice.

Traits§

OutputBuf
An abstraction for append-oriented output buffer.

Functions§

_verus_external_fn_specification_2__60__32__91_T_93__32__62__32__58__58__32_split__at__mut__unchecked⚠
outbuf_lemmas