miri
1.79.0-beta.7
(d9e85b56e 2024-05-25)
Module handle
Enums
Traits
In miri::shims::windows
?
Settings
Module
miri
::
shims
::
windows
::
handle
Copy item path
source
·
[
−
]
Enums
§
Handle
Miri representation of a Windows
HANDLE
PseudoHandle
Traits
§
EvalContextExt