vault backup: 2023-10-20 14:43:50

This commit is contained in:
Louis Gallet 2023-10-20 14:43:50 +02:00
parent cc0448ac27
commit bbed2bfda3
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -276,3 +276,8 @@ let rec flattten = function
| e2::t2 -> e2==flatten(2::t));;
val flatten: 'a list list -> 'a list = <fun>
```
Complexity : $O(\sum_{\forall{l\in{(el::ll)}}}^{}1+length(l))$