miri
1.80.0-nightly
(f705de596 2024-04-30)
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