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§

source

fn aterm_write(&self, writer: &mut impl Write) -> Result<()>

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl AtermWriteable for String

source§

fn aterm_write(&self, writer: &mut impl Write) -> Result<()>

source§

impl AtermWriteable for [u8; 32]

source§

fn aterm_write(&self, writer: &mut impl Write) -> Result<()>

Implementors§