Searched refs:subst_induct (Results 1 - 1 of 1) sorted by last modified time
/seL4-l4v-10.1.1/graph-refine/ | ||
H A D | rep_graph.py | 251 x = subst_induct (x, v) 252 y = subst_induct (y, v) 1155 def subst_induct (expr, induct_var): function |
Completed in 45 milliseconds