Skip to main content

HasBinder

charon_driver::hax::state

Trait HasBinder 

Source 
pub trait HasBinder<'tcx> {
    // Required method
    fn binder(&self) -> UnitBinder<'tcx>;
}

Required Methods§

Source

fn binder(&self) -> UnitBinder<'tcx>

Implementors§

Source§

impl<'tcx, Base, Owner> HasBinder<'tcx> for State<Base, Owner, UnitBinder<'tcx>>