def resort_symbols(symbols): return [lu.resort_symbol(symbol, sort_refinement) for symbol in symbols]
def resort_symbols(symbols): return [lu.resort_symbol(symbol,sort_refinement) for symbol in symbols]
def resort_map_symbol_sort(m): return dict((lu.resort_symbol(sym, sort_refinement), lu.resort_sort(sort, sort_refinement)) for sym, sort in m.iteritems())
def resort_map_symbol_sort(m): return dict((lu.resort_symbol(sym,sort_refinement),lu.resort_sort(sort,sort_refinement)) for sym,sort in m.iteritems())