Searched defs:bottom (Results 1 - 9 of 9) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
| H A D | MutableMapFunctor.sml | 38 val bottom = IntInf.toInt (IntInf.andb (v, arrayMask)) value
|
| H A D | PureMap.sml | 39 val bottom = IntInf.toInt (IntInf.andb (v, arrayMask)) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | bitmap.h | 73 VisitBitmap(PolyWord *bottom, PolyWord *top): argument
|
| H A D | memmgr.h | 80 PolyWord *bottom; // Bottom of area member in class:MemSpace
[all...] |
| H A D | profiling.cpp | 214 void ProfileRequest::getProfileResults(PolyWord *bottom, PolyWord *top) argument
|
| H A D | xwindows.cpp | 1162 PolyWord bottom; /* ML int */ member in struct:__anon87
1193 static Handle CreateRect(TaskData *taskData, int top, int left, int bottom, int right) argument
3308 int bottom = top + ev->xexpose.height; local
3345 int bottom = top + ev->xgraphicsexpose.height; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | encodeLib.sml | 390 let val bottom = target_bottom_value target bottom_target t value
417 val bottom = hd constructors value
428 val bottom = full_bottom_value target (#bottom(get_translation_scheme target)) t value
502 val bottom = rimk_comb(enc2,target_bottom_value target dead t) value
520 val bottom = rimk_comb(enc2,target_bottom_value target dead t) value
[all...] |
| H A D | functionEncodeLib.sml | 2876 val bottom = #bottom (get_translation_scheme target) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/floating-point/ |
| H A D | binary_ieeeLib.sml | 147 val bottom = Float (true, m, f) value
|
Completed in 136 milliseconds