Symbol: if_type