hax_types

Module engine_api

Source
Expand description

The types used to communicate between cargo-hax and hax-engine.

Modules§

protocol

Structs§

EngineOptions
File
Output
ProfilingData
SourceMap
WithDefIds