Module report
hax_
types
0.4.0-rc.2
Module report
Module Items
Structs
In hax_
types::
diagnostics
hax_types
::
diagnostics
Module
report
Copy item path
Source
Structs
ยง
Report
Ctx
A context for reporting diagnostics