Initial commitHEADmain

1 files changed, 18 insertions, 0 deletions

diff --git a/tree/src/tree.ads b/tree/src/tree.ads
new file mode 100644
index 0000000..1cf26fc
--- /dev/null
+++ b/tree/src/tree.ads
@@ -0,0 +1,18 @@
+generic
+   type T is private;
+
+package tree is
+
+   type Tree;
+   type Tree_Access is access Tree;
+
+   type Tree is record
+      Val   : T;
+      Left  : Tree_Access;
+      Right : Tree_Access;
+   end record;
+
+   -- Returns the height of the tree.
+   function Height (T : Tree_Access) return Integer;
+
+end tree;