Constant TMT_INT 

pub const TMT_INT: THEME_PROPERTY_SYMBOL_ID;