vault backup: 2023-10-27 15:33:08

This commit is contained in:
Louis Gallet 2023-10-27 15:33:08 +02:00
parent d3c59aa909
commit 92497fd94c
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -86,4 +86,5 @@ val partition : ('a -> bool) -> 'a list -> 'a list * 'a list = <fun>
| (e::t, e::t2) -> if p e e2 then less p k t t2 (acc + 1)
else less p k t t2 acc
in less p k l1 l2 0;;
val less2 : ('a -> 'b -> bool) -> int -> 'a list -> 'b list -> bool = <fun>
val less2 : ('a -> 'b -> bool) -> int -> 'a list -> 'b list -> bool = <fun>
```