Searched defs:user (Results 1 - 4 of 4) sorted by path

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp5551 WMGeometry( TaskData *taskData, Handle dsHandle, PolyStringObject *user, PolyStringObject *def, unsigned borderWidth, PolyWord P ) argument
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DBase.sml73 and user: string -> Foreign.symbol value
346 and user sym = getSymbol(loadLibrary "user32.DLL") sym function
H A DMessage.sml27 fun user name = getSymbol(loadLibrary "user32.dll") name function
[all...]
/seL4-l4v-master/HOL4/tools/
H A Dhol-input.el

Completed in 434 milliseconds