hax_frontend_exporter::state

Trait HasBase

source 
pub trait HasBase<'tcx> {
    // Required method
    fn base(&self) -> Base<'tcx>;
}

Required Methods§

source

fn base(&self) -> Base<'tcx>

Implementors§

source§

impl<'tcx, Thir, Mir, OwnerId, Binder> HasBase<'tcx> for State<Base<'tcx>, Thir, Mir, OwnerId, Binder>