Skip to main content

VisitorWithBinderDepth

charon_lib::ast::visitor

Trait VisitorWithBinderDepth 

Source 
pub trait VisitorWithBinderDepth {
    // Required method
    fn binder_depth_mut(&mut self) -> &mut DeBruijnId;
}

Required Methods§

Source

fn binder_depth_mut(&mut self) -> &mut DeBruijnId

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§