Module chalk_solve::infer::ucanonicalize
source · Structs§
- The
UCollectoris a “no-op” in terms of the value, but along the way it collects all universes that were found into a vector.
UCollector is a “no-op” in terms of the value, but along the
way it collects all universes that were found into a vector.