vault backup: 2023-10-16 14:24:27

This commit is contained in:
Louis Gallet 2023-10-16 14:24:27 +02:00
parent 3c5fd625a5
commit 716d366263
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -235,4 +235,10 @@ val equals = 'a list -> 'a list -> bool = <fun>
let shared l1 l2 = function let shared l1 l2 = function
| [] -> [] | [] -> []
| e::t -> let rec s l2 = function | e::t -> let rec s l2 = function
|e::t -> |e::t -> if e = e1
then e::sharede t t2
else if e2 > e then
shared t (e2::t2)
else
shared (e::t) t2;;
val shard = int list * int list *int list -> int list = <fun>