Expand description
Global identifiers are built around DefId that comes out of the hax
frontend. We use the Rust engine itself to produce the names: we run hax on
the engine/names crate, we extract identifiers from the resulting AST, and
we expose them back as Rust functions here.
Functionsยง
- export_
def_ ids_ to_ mod - Finds all
DefIds initems, and produce a Rust module exposing them.