Skip to main content

HasOwner

charon_driver::hax::state

Trait HasOwner 

Source 
pub trait HasOwner {
    // Required method
    fn owner(&self) -> DefId;
}

Required Methods§

Source

fn owner(&self) -> DefId

Implementors§

Source§

impl<Base, Binder> HasOwner for State<Base, DefId, Binder>