diff options
Diffstat (limited to 'src/util.mli')
| -rw-r--r-- | src/util.mli | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/util.mli b/src/util.mli index f9bfba6..fc25cff 100644 --- a/src/util.mli +++ b/src/util.mli @@ -9,3 +9,25 @@ val default : 'a -> 'a option -> 'a val lexical_numeric_compare : string -> string -> int val absolute_path : FilePath.filename -> FilePath.filename + +val string_of_list : string list -> string + +val json_of_list : string list -> string + +val list_of_path : string -> string list + +val drop_last : 'a list -> 'a list + +val drop_last_n : 'a list -> int -> 'a list + +val drop_first : 'a list -> 'a list + +val get_last : 'a list -> 'a option + +val get_last_n : 'a list -> int -> 'a option + +val lex_order : string list -> string list -> int + +val colex_order : string list -> string list -> int + +val is_empty : 'a list -> bool |