hax_frontend_exporter

Type Alias CanonicalUserTypeAnnotations

source 
pub type CanonicalUserTypeAnnotations = IndexVec<UserTypeAnnotationIndex, CanonicalUserTypeAnnotation>;

Aliased Type§

struct CanonicalUserTypeAnnotations {
    pub raw: Vec<CanonicalUserTypeAnnotation>,
    _marker: PhantomData<fn(_: &UserTypeAnnotationIndex)>,
}

Fields§

§raw: Vec<CanonicalUserTypeAnnotation>§_marker: PhantomData<fn(_: &UserTypeAnnotationIndex)>