summaryrefslogtreecommitdiff
path: root/src/vytree.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/vytree.ml')
-rw-r--r--src/vytree.ml5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/vytree.ml b/src/vytree.ml
index 156b326..b200cc4 100644
--- a/src/vytree.ml
+++ b/src/vytree.ml
@@ -164,3 +164,8 @@ let get_existent_path node path =
let children_of_path node path =
let node' = get node path in
list_children node'
+
+let sorted_children_of_node cmp node =
+ let names = list_children node in
+ let names = List.sort cmp names in
+ List.map (find_or_fail node) names