Expand description
Refining is the process of generating a refined version of a rust type.
Concretely, this module provides functions to go from types in flux_rustc_bridge::ty to
types in rty.
Refining is the process of generating a refined version of a rust type.
Concretely, this module provides functions to go from types in flux_rustc_bridge::ty to
types in rty.