Searched refs:canon_n (Results 1 - 1 of 1) sorted by path
/seL4-l4v-10.1.1/graph-refine/ | ||
H A D | search.py | 977 def canon_n (n, typ): function in function:get_model_r_side_unroll 984 return canon_n (v.val, v.typ) 1002 if (kind, canon_n (expr_n + (offs_n * i), expr.typ)) |
Completed in 87 milliseconds