From 71d7e8af74c052d671968696fdb70cede5b78d8a Mon Sep 17 00:00:00 2001
From: Raito Bezarius
Date: Fri, 12 Apr 2024 20:05:01 +0200
Subject: feat: note on extraction for inductive

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
---
 src/main.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/main.rs b/src/main.rs
index 884b367..9cf9492 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -8,6 +8,8 @@ trait Ord {
     fn cmp(&self, other: &Self) -> Ordering;
 }
 
+// TODO: la structure AVLNode est extrait comme un inductif à un cas
+// au lieu d'être extrait comme une structure
 struct AVLNode<T> {
     value: T,
     left: AVLTree<T>,
-- 
cgit v1.2.3