diff options
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 |