hax_frontend_exporter

Type Alias Pat

source 
pub type Pat = Decorated<PatKind>;

Aliased Type§

struct Pat {
    pub ty: Ty,
    pub span: Span,
    pub contents: Box<PatKind>,
    pub hir_id: Option<(usize, usize)>,
    pub attributes: Vec<Attribute>,
}

Fields§

§ty: Ty§span: Span§contents: Box<PatKind>§hir_id: Option<(usize, usize)>§attributes: Vec<Attribute>