Module chalk_solve::infer::ucanonicalize
source ยท Structsยง
- UCollector ๐The
UCollector
is a โno-opโ in terms of the value, but along the way it collects all universes that were found into a vector. - UMapFromCanonical ๐
- UMapToCanonical ๐