pub(crate) trait AtermWriteable {
// Required method
fn aterm_write(&self, writer: &mut impl Write) -> Result<()>;
}Expand description
Something that can be written as ATerm.
Note that we mostly use explicit write_* calls
instead since the serialization of the items depends on
the context a lot.
Required Methods§
fn aterm_write(&self, writer: &mut impl Write) -> Result<()>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.