summaryrefslogtreecommitdiff
path: root/src/commit.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/commit.mli')
-rw-r--r--src/commit.mli4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/commit.mli b/src/commit.mli
index d1c9c69..e765f48 100644
--- a/src/commit.mli
+++ b/src/commit.mli
@@ -27,4 +27,8 @@ val default_node_data : node_data
val default_commit_data : commit_data
+val calculate_priority_lists : Vyos1x.Reference_tree.t -> Vyos1x.Config_tree.t -> Vyos1x.Config_tree.t -> node_data list * node_data list
+
+val commit_store : commit_data -> unit
+
val show_commit_data : Vyos1x.Config_tree.t -> Vyos1x.Config_tree.t -> string