Пример #1
0
def resort_map_any_ast(m):
    return dict(
        (a, lu.resort_ast(b, sort_refinement)) for a, b in m.iteritems())
Пример #2
0
def resort_labeled_asts(asts):
    return [
        ast.clone([ast.args[0],
                   lu.resort_ast(ast.args[1], sort_refinement)])
        for ast in asts
    ]
Пример #3
0
def resort_name_ast_pairs(pairs):
    return [(n, lu.resort_ast(a, sort_refinement)) for n, a in pairs]
Пример #4
0
def resort_ast(ast):
    return lu.resort_ast(ast, sort_refinement)
Пример #5
0
def resort_asts(asts):
    return [lu.resort_ast(ast, sort_refinement) for ast in asts]
Пример #6
0
def resort_map_any_ast(m):
    return dict((a,lu.resort_ast(b,sort_refinement)) for a,b in m.iteritems())
Пример #7
0
def resort_name_ast_pairs(pairs):
    return [(n,lu.resort_ast(a,sort_refinement)) for n,a in pairs]
Пример #8
0
def resort_labeled_asts(asts):
    return [ast.clone([ast.args[0],lu.resort_ast(ast.args[1],sort_refinement)]) for ast in asts]
Пример #9
0
def resort_asts(asts):
    return [lu.resort_ast(ast,sort_refinement) for ast in asts]
Пример #10
0
def resort_ast(ast):
    return lu.resort_ast(ast,sort_refinement)