Symbol: hinic_eq_type