vault backup: 2023-10-06 14:28:28

This commit is contained in:
Louis Gallet 2023-10-06 14:28:28 +02:00
parent 4fa3783722
commit 0bd39b7828
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY

View File

@ -37,7 +37,7 @@ val count = 'a -> 'a list -> int = <fun>
(* Correction *)
# let search x = function
| [] -> false
| e::t when x = e -> true
| e::t -> x = e || search x t
| _::t -> search x t ;;
val search 'a -> 'a list -> bool = <fun>
```