Searched defs:mk_less_eq (Results 1 - 2 of 2) sorted by last modified time
/seL4-l4v-10.1.1/graph-refine/ | ||
H A D | syntax.py | 1351 def mk_less_eq (x, y, signed = False): function |
H A D | stack_logic.py | 22 from syntax import mk_var, word32T, builtinTs, mk_eq, mk_less_eq namespace |
Completed in 49 milliseconds