Skip to main content

ConstantKind

charon_driver::hax::constant_utils

Type Alias ConstantKind 

Source 
pub type ConstantKind = ConstantExpr;

Aliased Type§

pub struct ConstantKind {
    pub ty: Ty,
    pub contents: Box<ConstantExprKind>,
}

Fields§

§ty: Ty§contents: Box<ConstantExprKind>