Module miri::shims::native_lib
source ยท Expand description
Implements calling functions from a native library.
Enumsยง
- CArg ๐Enum of supported arguments to external C functions.
Traitsยง
- Eval
Context ๐ExtPriv
Functionsยง
- imm_
to_ ๐carg Extract the scalar value from the result of reading a scalar from the machine, and convert it to aCArg
.