diff options
Diffstat (limited to 'src/util.mli')
| -rw-r--r-- | src/util.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/util.mli b/src/util.mli index f9bfba6..9a52268 100644 --- a/src/util.mli +++ b/src/util.mli @@ -9,3 +9,9 @@ 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 |