Skip to main content

HasBase

charon_driver::hax::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, Owner, Binder> HasBase<'tcx> for State<Base<'tcx>, Owner, Binder>