oha!

1 files changed, 15 insertions, 0 deletions

diff --git a/lib/account/type_hierarchy.mli b/lib/account/type_hierarchy.mli
new file mode 100644
index 0000000..c346628
--- /dev/null
+++ b/lib/account/type_hierarchy.mli
@@ -0,0 +1,15 @@
+type path
+(** The 'kernel' of account types: a hierarchy of valid types. A valid type is a
+    path that leads to a node in the hierarchy. *)
+
+val children : path -> path list
+val sub : path -> string -> path option
+val super : path -> path option
+val equal_path : path -> path -> bool
+val is_prefix : path -> prefix:path -> bool
+val polarity : path -> Money.polarity
+val asset : path
+val equity : path
+val expense : path
+val income : path
+val liability : path