hax_frontend_exporter

Type Alias GlobalIdent

Source 
pub type GlobalIdent = DefId;

Aliased Type§

pub struct GlobalIdent {
    pub(crate) contents: Node<DefIdContents>,
}

Fields§

§contents: Node<DefIdContents>