Searched defs:mk_cast (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/graph-refine/ | ||
H A D | search.py | 16 from syntax import (mk_and, mk_cast, mk_implies, mk_not, mk_uminus, mk_var, namespace |
H A D | syntax.py | 1431 def mk_cast (x, typ): function |
Completed in 47 milliseconds