From 28097064526f750d62c3585de6e3878a36174041 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Wed, 5 Aug 2026 21:01:03 -0500 Subject: T9169: add diff_tree instance --- src/diff_tree.mli | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 src/diff_tree.mli (limited to 'src/diff_tree.mli') diff --git a/src/diff_tree.mli b/src/diff_tree.mli new file mode 100644 index 0000000..a0e699d --- /dev/null +++ b/src/diff_tree.mli @@ -0,0 +1,7 @@ + +val diff_tree: string list -> Config_tree.t -> Config_tree.t -> Config_tree.t +[@@alert exn "Diff.Incommensurable"] +[@@alert exn "Diff.Empty_comparison"] + +val get_tagged_delete_tree : Config_tree.t -> Config_tree.t + -- cgit v1.2.3