summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorRaito Bezarius2024-04-12 20:05:01 +0200
committerRaito Bezarius2024-04-12 20:05:01 +0200
commit71d7e8af74c052d671968696fdb70cede5b78d8a (patch)
tree41206765c6e3171270968fc95f7dbf756776a9c7 /src
parentfb324b6f4ec780ad486e5beb154eb1fe590b8aab (diff)
feat: note on extraction for inductive
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to '')
-rw-r--r--src/main.rs2
1 files changed, 2 insertions, 0 deletions
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>,