Searched defs:Offset (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ | ||
H A D | globals.h | 311 PolyWord *Offset(POLYUNSIGNED i) const { return ((PolyWord*)this)+i; } function in class:PolyObject |
Completed in 81 milliseconds