charon_lib::ast::visitor::wrappers

Trait VisitorWithBinderStack

Source 
pub trait VisitorWithBinderStack {
    // Required method
    fn binder_stack_mut(&mut self) -> &mut BindingStack<GenericParams>;
}

Required Methods§

Source

fn binder_stack_mut(&mut self) -> &mut BindingStack<GenericParams>

Implementors§