Searched defs:overlaps (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/seL4/tools/hardware/ | ||
H A D | memory.py | 48 def overlaps(self, other): member in class:Region |
/seL4-l4v-master/HOL4/src/1/ | ||
H A D | Drule.sml | 2120 fun overlaps fvset (tfvs,_) = function |
Completed in 49 milliseconds