pub trait SpecSerializer {
type SVal;
// Required method
spec fn spec_serialize(&self, v: Self::SVal) -> Seq<u8>;
}Expand description
Serializer specification.
See crate::core::proof::EquivSerializers for its relationship to SpecSerializerDps.
Required Associated Types§
Required Methods§
Sourcespec fn spec_serialize(&self, v: Self::SVal) -> Seq<u8>
spec fn spec_serialize(&self, v: Self::SVal) -> Seq<u8>
Serializes v into a fresh byte sequence.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".