Struct IrSerializeConfig 

pub struct IrSerializeConfig {
    pub format: IrFormat,
    pub pretty: bool,
    pub include_types: bool,
    pub include_proofs: bool,
}

Configuration for the IR serializer.

Fields

format: IrFormat

Which wire format to emit.

pretty: bool

Whether to pretty-print (indent) the output when supported.

include_types: bool

Include type signatures in the output.

include_proofs: bool

Include proof bodies in the output.

Trait Implementations

impl Clone for IrSerializeConfig

fn clone(&self) -> IrSerializeConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IrSerializeConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for IrSerializeConfig

fn default() -> Self

Returns the “default value” for a type.