Copies of the relevant HIR types. HIR represents the code of a rust crate post-macro
expansion. It is close to the parsed AST, modulo some desugarings (and macro expansion).
Copies of the relevant MIR types. MIR represents a rust (function) body as a CFG. Itβs a
semantically rich representation that contains no high-level control-flow operations like loops
or patterns; instead the control flow is entirely described by gotos and switches on integer
values.
This module provides serde manual serializes/deserializers as
strings for u128 and i128: those types are not well supported in
serde (see https://github.com/serde-rs/json/issues/625).