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.
Implementations on Foreign Types§
Source§impl<S: SpecSerializer> SpecSerializer for &S
impl<S: SpecSerializer> SpecSerializer for &S
Source§open spec fn spec_serialize(&self, v: Self::SVal) -> Seq<u8>
open spec fn spec_serialize(&self, v: Self::SVal) -> Seq<u8>
{ (*self).spec_serialize(v) }