add explicit decryption to docs

docs/SUMMARY.md

@@ -17,6 +17,6 @@
 - [Getting Started](solidity/getting_started.md)
 - [TFHE Library](solidity/library.md)
 - [Function specifications](solidity/functions.md)
-- [Booleans and control structures](solidity/requires.md)
+- [Decryption and control structures](solidity/requires.md)
 - ## [Examples](solidity/examples.md)
   -

docs/solidity/requires.md

@@ -1,4 +1,4 @@
-# Booleans and control structures
+# Decryption and control structures
 
 ## Booleans
 
@@ -31,3 +31,14 @@ The require statements described above may lead to important delays during the t
 This is why we introduce optimistic encrypted statements (`optReq`).
 These require statements are accumulated throughout the execution of the transaction and are only decrypted at the end of execution.
 Optimistic requires may be more efficient, but this efficiency comes at the price of paying more gas if it so happens that one of the predicates is false.
+
+## Decryptions
+We also allow explicit decryptions requests for any type encrypted type. 
+The values are decrypted in the same way requires are, that is through the distributed decryption protocol.
+
+### Examples
+```solidity
+function decryptAmount(euint8 amount) public view returns (uint8) {
+    return TFHE.decrypt(amount);
+}
+```