hax_frontend_exporter

Type Alias Expr

source
pub type Expr = Decorated<ExprKind>;

Aliased Type§

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

Fields§

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

Trait Implementations§

source§

impl From<Decorated<ConstantExprKind>> for Expr

source§

fn from(c: ConstantExpr) -> Expr

Converts to this type from the input type.