From 921415e08e4f696e285562ed8f49112db0de5332 Mon Sep 17 00:00:00 2001
From: John Estabrook <jestabro@vyos.io>
Date: Wed, 5 Aug 2026 20:59:08 -0500
Subject: T9169: factor out diff calculation module

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

(limited to 'src/diff.mli')

diff --git a/src/diff.mli b/src/diff.mli
new file mode 100644
index 0000000..41ae523
--- /dev/null
+++ b/src/diff.mli
@@ -0,0 +1,14 @@
+type change = Unchanged | Added | Subtracted | Updated of string list
+
+exception Incommensurable
+exception Empty_comparison
+
+module type Place = sig
+    type t
+    val diff_func : ?recurse:bool -> string list -> t -> change -> t
+end
+
+module Diff : functor (P: Place) -> sig
+    val diff_calc : string list -> P.t -> Config_tree.t option * Config_tree.t option -> P.t
+    val diff : P.t -> Config_tree.t -> Config_tree.t -> P.t
+end
-- 
cgit v1.2.3