From c5a1ad67169bce862dc9fde20b8d4e89df67abf6 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Wed, 25 Oct 2023 17:36:33 +0200
Subject: [PATCH] vault backup: 2023-10-25 17:36:33

---
 Algo/Courses/Chapter 7 - High Order (exercises).md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Algo/Courses/Chapter 7 - High Order (exercises).md b/Algo/Courses/Chapter 7 - High Order (exercises).md
index 100f158..3e5a8bf 100644
--- a/Algo/Courses/Chapter 7 - High Order (exercises).md	
+++ b/Algo/Courses/Chapter 7 - High Order (exercises).md	
@@ -45,4 +45,4 @@ val for_all: ('a -> bool) -> 'a list -> bool = <fun>
 # let rec exists p = function
 	| [] -> true
 	| e::t -> p e || for_all p t;;
-val exists 
+val exists: ('a -> bool) -> 'a list -> bool = <fun>