Searched defs:green (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DMB_Monitor.sml33 val green = boldgreen value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp4167 PolyWord green; /* ML int */ member in struct:__anon41

Completed in 88 milliseconds