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ยง

Functionsยง

  • imm_to_carg ๐Ÿ”’
    Extract the scalar value from the result of reading a scalar from the machine, and convert it to a CArg.