Printer

hax_rust_engine::printer

Trait Printer 

Source 
pub trait Printer:
    Sized
    + for<'a, 'b> PrettyAst<'a, 'b, Span>
    + Default {
    const NAME: &'static str = _;

    // Required method
    fn resugaring_phases() -> Vec<Box<dyn Resugaring>>;
}
Expand description

A printer defines a list of resugaring phases.

Provided Associated Constants§

Source

const NAME: &'static str = _

The name of the printer

Required Methods§

Source

fn resugaring_phases() -> Vec<Box<dyn Resugaring>>

A list of resugaring phases.

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.

Implementors§