fn type_for_builtin(def: BuiltinType) -> Ty {
    Ty::simple(match def {
        BuiltinType::Char => TypeCtor::Char,
        BuiltinType::Bool => TypeCtor::Bool,
        BuiltinType::Str => TypeCtor::Str,
        BuiltinType::Int(t) => TypeCtor::Int(IntTy::from(t).into()),
        BuiltinType::Float(t) => TypeCtor::Float(FloatTy::from(t).into()),
    })
}
/// Build the declared type of a static.
Build the declared type of a static.
Build the declared type of a static .
fn type_for_builtin(def: BuiltinType) -> Ty {
    Ty::simple(match def {
        BuiltinType::Char => TypeCtor::Char,
        BuiltinType::Bool => TypeCtor::Bool,
        BuiltinType::Str => TypeCtor::Str,
        BuiltinType::Int(t) => TypeCtor::Int(IntTy::from(t).into()),
        BuiltinType::Float(t) => TypeCtor::Float(FloatTy::from(t).into()),
    })
}
fn type_for_builtin ( def : BuiltinType ) -> Ty { Ty :: simple ( match def { BuiltinType :: Char => TypeCtor :: Char , BuiltinType :: Bool => TypeCtor :: Bool , BuiltinType :: Str => TypeCtor :: Str , BuiltinType :: Int ( t ) => TypeCtor :: Int ( IntTy :: from ( t ) . into ( ) ) , BuiltinType :: Float ( t ) => TypeCtor :: Float ( FloatTy :: from ( t ) . into ( ) ) , } ) }
Build the declared type of a static.
Build the declared type of a static .
def
BuiltinType