Merge pull request #438 from oguzutku1745/update-operators-shl

Update shl
ProvableHQ · Feb 16, 2025 · 33de1d9 · 33de1d9
2 parents 50ff3d3 + f317937
commit 33de1d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/documentation/leo/04_operators.md b/documentation/leo/04_operators.md
@@ -1043,7 +1043,7 @@ let b: u8 = a.shl(1u8); // 4u8
 
 #### Description
 
-Shifts `first` left by `second` bits, storing the result in `destination`.
+Shifts `first` left by `second` bits, storing the result in `destination`. The operation halts if the shift distance exceeds the bit size of `first`, or if the shifted result does not fit within the type of `first`.
 
 #### Supported Types