Searched defs:HINSTANCE (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DGlobals.sml39 type HINSTANCE = HINSTANCE type
H A DIcon.sml21 type HICON and HINSTANCE and HDC type
43 type HICON = HICON and HINSTANCE = HINSTANCE and HDC = HDC type
H A DResource.sml29 type HINSTANCE type
H A DCursor.sml21 type HCURSOR and HINSTANCE type
64 type HCURSOR = HCURSOR and HINSTANCE = HINSTANCE type
H A DMESSAGE.signature.sml33 type HGDIOBJ and HWND and HMENU and HICON and HINSTANCE and HDC type
H A DClass.sml21 and HINSTANCE (* = Globals.HINSTANCE *) type
88 type HWND = HWND and HINSTANCE = HINSTANCE and HICON = HICON type
H A DMenu.sml21 type HMENU and HBITMAP and HWND and HINSTANCE type
116 and HINSTANCE = HINSTANCE type
H A DCommonControls.sml22 type HWND and HINSTANCE and HBITMAP type
91 type HWND = HWND and HINSTANCE = HINSTANCE and HBITMAP = HBITMAP type
H A DDialog.sml24 type HWND and HINSTANCE type
136 type HWND = HWND and HINSTANCE = HINSTANCE type
H A DWindow.sml21 type HWND and HINSTANCE and HMENU type
173 type HWND = HWND and HINSTANCE = HINSTANCE and RECT = RECT and POINT = POINT type
H A DCommonDialog.sml21 type HWND and HDC and COLORREF = Color.COLORREF and HINSTANCE type
334 type HWND = HWND and HDC = HDC and COLORREF = COLORREF and HINSTANCE = HINSTANCE type
H A DBase.sml117 eqtype HMENU and HDC and HWND and HINSTANCE and HGDIOBJ value
462 type HINSTANCE = Instance HANDLE type
H A DMessage.sml1775 and HMENU = HMENU and HICON = HICON and HINSTANCE = HINSTANCE and HDC = HDC type

Completed in 98 milliseconds