Searched refs:mk_eq_selective_wrapper (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/graph-refine/ | ||
H A D | logic.py | 1525 def mk_eq_selective_wrapper (v, (xs, ys)): function |
H A D | stack_logic.py | 612 stack_const = logic.mk_eq_selective_wrapper (stack_const, |
Completed in 37 milliseconds