diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-11-09 20:32:44 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-11-11 10:51:45 -0600 |
| commit | 8be22d73e9805c57ea0875b81f17490bf855977f (patch) | |
| tree | 5efc88456e3b09289b673ff63cb349c02191c0ec /src | |
| parent | c935b321da9749a3139ebf1224c30f61cb984bb7 (diff) | |
| download | vyos1x-config-8be22d73e9805c57ea0875b81f17490bf855977f.tar.gz vyos1x-config-8be22d73e9805c57ea0875b81f17490bf855977f.zip | |
T7988: add util is_sublist
Diffstat (limited to 'src')
| -rw-r--r-- | src/util.ml | 6 | ||||
| -rw-r--r-- | src/util.mli | 2 |
2 files changed, 8 insertions, 0 deletions
diff --git a/src/util.ml b/src/util.ml index 8ac7963..f8c73bd 100644 --- a/src/util.ml +++ b/src/util.ml @@ -159,3 +159,9 @@ let colex_order l k = let is_empty l = List.compare_length_with l 0 = 0 + +let rec is_sublist l k = + match l, k with + | [], _ -> true + | _, [] -> false + | hl::tl, hk::tk -> hl = hk && is_sublist tl tk diff --git a/src/util.mli b/src/util.mli index fc25cff..e4b72b4 100644 --- a/src/util.mli +++ b/src/util.mli @@ -31,3 +31,5 @@ val lex_order : string list -> string list -> int val colex_order : string list -> string list -> int val is_empty : 'a list -> bool + +val is_sublist : 'a list -> 'a list -> bool |