object TypeComparer
- Companion:
- class
Type members
Classlikes
object ApproxState
The approximation state indicates how the pair of types currently compared relates to the types compared originally.
The approximation state indicates how the pair of types currently compared relates to the types compared originally.
None
: They are still the same typesLoApprox
: The left type is approximated (i.e widened)"HiApprox
: The right type is approximated (i.e narrowed)"