Module miri::shims::windows::handle

source · [−]

Enums

Handle
Miri representation of a Windows HANDLE
PseudoHandle

Traits

EvalContextExt