hax_types

Module driver_api

Source
Expand description

The types used to communicate between cargo-hax and the custom driver.

Macros§

with_kind_type

Structs§

EmitHaxMetaMessage
HaxMeta

Enums§

HaxDriverMessage

Constants§

HAX_DRIVER_STDERR_PREFIX