def resort_map_any_ast(m): return dict( (a, lu.resort_ast(b, sort_refinement)) for a, b in m.iteritems())
def resort_labeled_asts(asts): return [ ast.clone([ast.args[0], lu.resort_ast(ast.args[1], sort_refinement)]) for ast in asts ]
def resort_name_ast_pairs(pairs): return [(n, lu.resort_ast(a, sort_refinement)) for n, a in pairs]
def resort_ast(ast): return lu.resort_ast(ast, sort_refinement)
def resort_asts(asts): return [lu.resort_ast(ast, sort_refinement) for ast in asts]
def resort_map_any_ast(m): return dict((a,lu.resort_ast(b,sort_refinement)) for a,b in m.iteritems())
def resort_name_ast_pairs(pairs): return [(n,lu.resort_ast(a,sort_refinement)) for n,a in pairs]
def resort_labeled_asts(asts): return [ast.clone([ast.args[0],lu.resort_ast(ast.args[1],sort_refinement)]) for ast in asts]
def resort_asts(asts): return [lu.resort_ast(ast,sort_refinement) for ast in asts]
def resort_ast(ast): return lu.resort_ast(ast,sort_refinement)