diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-11-03 11:04:57 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-11-11 10:51:45 -0600 |
| commit | 1e1f68b21d7c343569a78000773ba029568bacfd (patch) | |
| tree | d7c1957da0972548a574e53e733f2af39a8f1591 /src/config_diff.mli | |
| parent | 8e71f01674ded2923e37c2be821b95a046314e30 (diff) | |
| download | vyos1x-config-1e1f68b21d7c343569a78000773ba029568bacfd.tar.gz vyos1x-config-1e1f68b21d7c343569a78000773ba029568bacfd.zip | |
T7988: drop Config_diff type as no longer needed
This was part of the hybrid adapter interim approach to integration with
the legacy backend.
Diffstat (limited to 'src/config_diff.mli')
| -rw-r--r-- | src/config_diff.mli | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/config_diff.mli b/src/config_diff.mli index 98e0ee3..453f13f 100644 --- a/src/config_diff.mli +++ b/src/config_diff.mli @@ -19,18 +19,9 @@ module Diff_string : sig } end -module Diff_cstore : sig - type t = { left: Config_tree.t; - right: Config_tree.t; - handle: int; - out: string; - } -end - type _ result = | Diff_tree : Diff_tree.t -> Diff_tree.t result | Diff_string : Diff_string.t -> Diff_string.t result - | Diff_cstore : Diff_cstore.t -> Diff_cstore.t result val eval_result : 'a result -> 'a @@ -64,6 +55,4 @@ val mask_tree : Config_tree.t -> Config_tree.t -> Config_tree.t [@@alert exn "Config_diff.Incommensurable"] [@@alert exn "Config_diff.Empty_comparison"] -val make_diff_cstore : Config_tree.t -> Config_tree.t -> int -> Diff_cstore.t result - val get_tagged_delete_tree : Config_tree.t -> Config_tree.t |