diff options
| author | Daniil Baturin <daniil@vyos.io> | 2024-11-07 18:03:45 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-07 18:03:45 +0000 |
| commit | acfac8d809d526e9e5af1ab26cbe093e45ff9f11 (patch) | |
| tree | a59160862670da61bf6a0aaa825fa4c4d1ebc171 /src/util.mli | |
| parent | d7260e772e39bc6a3a2d76d629567e03bbad16b5 (diff) | |
| parent | c94254e4a5771d4cabc0d373210cdd3362501b9d (diff) | |
| download | vyos1x-config-current.tar.gz vyos1x-config-current.zip | |
T6718: use the vyconf daemon for validation of set commands
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 |