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

/seL4-l4v-10.1.1/graph-refine/
H A Dlogic.py288 return syntax.do_subst (var_exp, substor)
H A Dsyntax.py754 def do_subst (expr, substor, ss = None): function
773 return do_subst (expr, rename_expr_substor (renames),

Completed in 149 milliseconds