vault backup: 2023-09-11 16:55:09

2023-09-11 16:55:09 +02:00 · 2023-09-11 16:55:09 +02:00 · a37d29ebb5
commit a37d29ebb5
parent d44ec0260e
1 changed files with 7 additions and 1 deletions
--- a/Algo/Séminaire/Chapter
+++ b/Algo/Séminaire/Chapter
@ -167,3 +167,9 @@ val avg : int -> int -> int = <fun>
 	| (true, true) -> true
 	| _ -> false;;
 val and_p : bool -> bool -> bool = <fun>
+
+# let and_t = function 
+	| (true, true) -> true
+	| _ -> false
+val and_t -> bool * bool = <fun>
+```