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