vault backup: 2023-10-16 14:29:58

This commit is contained in:
Louis Gallet 2023-10-16 14:29:58 +02:00
parent 716d366263
commit e4518efe0a
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -241,4 +241,4 @@ let shared l1 l2 = function
shared t (e2::t2) shared t (e2::t2)
else else
shared (e::t) t2;; shared (e::t) t2;;
val shard = int list * int list *int list -> int list = <fun> val shard = 'a list -> 'a list -> 'a list -> 'a list = <fun>