hax_frontend_exporter

Type Alias CanonicalUserTypeAnnotations

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

Aliased Type§

struct CanonicalUserTypeAnnotations {
    pub raw: Vec<CanonicalUserTypeAnnotation>,
    /* private fields */
}

Fields§

§raw: Vec<CanonicalUserTypeAnnotation>