1 files changed, 35 insertions, 0 deletions
diff --git a/src/commit.mli b/src/commit.mli
index db91195..da97389 100644
--- a/src/commit.mli
+++ b/src/commit.mli
@@ -1,2 +1,37 @@
+type tree_source = DELETE | ADD
+
+type status = {
+  success : bool;
+  out : string;
+}
+
+type node_data = {
+    script_name: string;
+    priority: int;
+    tag_value: string option;
+    arg_value: string option;
+    path: string list;
+    source: tree_source;
+    reply: status option;
+} [@@deriving to_yojson]
+
+type commit_data = {
+    session_id: string;
+    named_active : string option;
+    named_proposed : string option;
+    dry_run: bool;
+    atomic: bool;
+    background: bool;
+    init: status option;
+    node_list: node_data list;
+} [@@deriving to_yojson]
+
+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