Trait SetLocals

pub trait SetLocals<'a> {
    type C: 'a + AstFormatter;

    // Required method
    fn set_locals(&'a self, locals: &'a Vector<VarId, Var>) -> Self::C;
}

We use this trait with the formatter to update the context, for instance when we enter a declaration that we need to print.

Required Associated Types

type C: 'a + AstFormatter

Required Methods

fn set_locals(&'a self, locals: &'a Vector<VarId, Var>) -> Self::C

Implementors

impl<'a, 'b> SetLocals<'a> for FmtCtx<'b>

type C = FmtCtx<'a>