Trait hax_frontend_exporter::state::HasBinder

source · 
pub trait HasBinder<'tcx> {
    // Required method
    fn binder(&self) -> Binder<'tcx, ()>;
}

Required Methods§

source

fn binder(&self) -> Binder<'tcx, ()>

Implementors§

source§

impl<'tcx, Base, Thir, Mir, OwnerId> HasBinder<'tcx> for State<Base, Thir, Mir, OwnerId, Binder<'tcx, ()>>