diff options
Diffstat (limited to 'src/commit.mli')
| -rw-r--r-- | src/commit.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/commit.mli b/src/commit.mli index da97389..696f595 100644 --- a/src/commit.mli +++ b/src/commit.mli @@ -26,6 +26,8 @@ type commit_data = { node_list: node_data list; } [@@deriving to_yojson] +val tree_source_to_yojson : tree_source -> [> `String of string ] + val default_node_data : node_data val default_commit_data : commit_data @@ -33,5 +35,3 @@ 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 |