Struct CompressionConfig 

pub struct CompressionConfig {
    pub remove_redundant: bool,
    pub trim_unused: bool,
    pub inline_trivial: bool,
    pub max_passes: usize,
}

Configuration for proof compression

Fields

remove_redundant: bool

Remove redundant steps (same conclusion from same premises)

trim_unused: bool

Trim unused branches

inline_trivial: bool

Inline trivial steps

max_passes: usize

Maximum number of compression passes

Trait Implementations

impl Clone for CompressionConfig

fn clone(&self) -> CompressionConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompressionConfig

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

Formats the value using the given formatter.

impl Default for CompressionConfig

fn default() -> Self

Returns the “default value” for a type.