pub trait StringSliceAdditionalSpecFns {
// Required method
spec fn spec_bytes(&self) -> Seq<u8>;
}Required Methods§
Sourcespec fn spec_bytes(&self) -> Seq<u8>
spec fn spec_bytes(&self) -> Seq<u8>
Implementations on Foreign Types§
Source§impl StringSliceAdditionalSpecFns for str
Available on non-verus_verify_core only.
impl StringSliceAdditionalSpecFns for str
Available on non-
verus_verify_core only.Source§open spec fn spec_bytes(&self) -> Seq<u8>
open spec fn spec_bytes(&self) -> Seq<u8>
{ encode_utf8(self@) }