Improve Result/unwrap docs

Co-authored-by: Nicolas Abril <nicolas@higherorderco.com>
This commit is contained in:
imaqtkatt 2024-08-07 12:47:54 -03:00 committed by GitHub
parent 7ef8ff9060
commit 2a1f0774d7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -130,6 +130,8 @@ type Result<A, B>:
Returns the inner value of `Result/Ok` or `Result/Err`.
If the types `A` and `B` are different, should only be used in type unsafe programs or when only one variant is guaranteed to happen.
```python
def Result/unwrap(result: Result<A, B>): A || B
```