Searched refs:subst_induct (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/graph-refine/ | ||
H A D | rep_graph.py | 249 x = subst_induct (x, v) 250 y = subst_induct (y, v) 1153 def subst_induct (expr, induct_var): function |
Completed in 94 milliseconds