From de6e35dcf44a1cfa6736ef9e1698c03c4c834704 Mon Sep 17 00:00:00 2001
From: John Estabrook <jestabro@vyos.io>
Date: Wed, 5 Aug 2026 21:02:13 -0500
Subject: T9169: add diff_compare instance

---
 src/diff_compare.mli | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 src/diff_compare.mli

(limited to 'src/diff_compare.mli')

diff --git a/src/diff_compare.mli b/src/diff_compare.mli
new file mode 100644
index 0000000..d7412c7
--- /dev/null
+++ b/src/diff_compare.mli
@@ -0,0 +1,4 @@
+
+val diff_compare : ?cmds:bool -> string list -> Config_tree.t -> Config_tree.t -> string
+[@@alert exn "Diff.Incommensurable"]
+[@@alert exn "Diff.Empty_comparison"]
-- 
cgit v1.2.3