Struct PrintOptions 

#[non_exhaustive]
pub struct PrintOptions {
    pub max_nodes: usize,
    pub max_chars: usize,
    pub lets: bool,
    pub symbol_widths: bool,
    pub max_depth: u32,
}

Options for Context::display_with.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

max_nodes: usize

Stop after emitting this many nodes.

max_chars: usize

Stop after about this many characters.

lets: bool

Bind shared subterms with let (otherwise they are repeated, within the budgets).

symbol_widths: bool

Annotate every symbol’s first occurrence with its width (x:64), so the text parses into a context that does not know the symbols.

max_depth: u32

The deepest inline nesting before a subterm is bound with let.

Implementations

impl PrintOptions

pub fn with_max_nodes(self, n: usize) -> Self

Sets max_nodes.

pub fn with_max_chars(self, n: usize) -> Self

Sets max_chars.

pub fn with_lets(self, yes: bool) -> Self

Sets lets.

pub fn with_symbol_widths(self, yes: bool) -> Self

Sets symbol_widths.

Trait Implementations

impl Clone for PrintOptions

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrintOptions

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

Formats the value using the given formatter.

impl Default for PrintOptions

fn default() -> Self

Returns the “default value” for a type.