zero_le_mul_left

Stream: general

[Yaël Dillies]

zero_le_mul_left, zero_le_mul_right, zero_lt_mul_left, zero_lt_mul_right sound to me like they aren't following the naming convention. Shouldn't they be mul_(pos/nonneg)_(left/right)?

[Mario Carneiro]

Keep in mind that there is a name clash around there because neg means < 0 and also -

[Yaël Dillies]

Oh right. So maybe that's to avoid discrepancy with the negative versions.