Searched defs:compatible_sorts (Results 1 – 2 of 2) sorted by relevance
2097 bool ast_manager::compatible_sorts(sort * s1, sort * s2) const { in compatible_sorts() function in ast_manager
2175 bool ast_manager::compatible_sorts(sort * s1, sort * s2) const { in compatible_sorts() function in ast_manager