Module miri::shims::windows::handle

Enums

• Handle
  Miri representation of a Windows HANDLE
• PseudoHandle

Traits

• EvalContextExt