Searched refs:subst_exprs (Results 1 - 2 of 2) sorted by path

/seL4-l4v-10.1.1/graph-refine/
H A Dpseudo_compile.py377 func.nodes[n] = node.subst_exprs (subst_expr,
H A Dsyntax.py689 def subst_exprs (self, substor, ss = None): member in class:Node
779 node = node.subst_exprs (rename_expr_substor (vs))

Completed in 54 milliseconds