Module cast_compare

cast_compare can be summarized as casting to target type which can be compared but can’t be cast implicitly to, like:

1. bigger range -> smaller range in same type, e.g. int64 -> int32
2. different type, e.g. float type -> integral type

Enums

• ResultForCmp
• ResultForEq
• ShrinkResult 🔒

Functions

• cast_compare_for_cmp
• cast_compare_for_eq
• shrink_integral 🔒