public override ABT.Expr GetExpr(ABT.Env env) {
//Tuple<AST.Env, AST.ExprType> type_env = this.TypeName.GetTypeEnv(env);
//env = type_env.Item1;
//AST.ExprType Type = type_env.Item2;
var type = Semant(this.TypeName.GetExprType, ref env);
return new ABT.ConstULong((UInt32)type.SizeOf, env);
}
}