Merge pull request #443 from oguzutku1745/update-operators-sub

Update sub
ProvableHQ · Feb 16, 2025 · 871cc6a · 871cc6a
2 parents 427bfab + 821ed6e
commit 871cc6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/documentation/leo/04_operators.md b/documentation/leo/04_operators.md
@@ -1207,7 +1207,7 @@ let b: u8 = a.sub(1u8); // 0u8
 
 #### Description
 
-Computes `first - second`, storing the result in `destination`.
+Computes `first - second`, storing the result in `destination`. The operation halts if the result is negative in an unsigned type or if it exceeds the minimum representable value in a signed type.
 
 #### Supported Types