Subtracts b from a, returning the tightest sound branded result type.
The sign is computed exactly; the level is preserved (with SafeInt
widening to Int). No clamping — for saturating subtraction that stays in a
bounded type (e.g. Uint.sub clamping at 0), use that type's branded
sub.
Subtracts
bfroma, returning the tightest sound branded result type.The sign is computed exactly; the level is preserved (with
SafeIntwidening toInt). No clamping — for saturating subtraction that stays in a bounded type (e.g.Uint.subclamping at0), use that type's brandedsub.