diff options
| author | John Estabrook <jestabro@vyos.io> | 2022-01-04 12:39:32 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2022-01-04 12:39:32 -0600 |
| commit | 0a5210b376203652046628c55c88e77cf6401780 (patch) | |
| tree | f11857078119d55442a682479206e1113422c13d /src/util.mli | |
| parent | 550048b3dc4959155b2e25d083e83bcc51ad6794 (diff) | |
| download | vyos1x-config-0a5210b376203652046628c55c88e77cf6401780.tar.gz vyos1x-config-0a5210b376203652046628c55c88e77cf6401780.zip | |
Use a modification of String.escaped to leave UTF-8 bytes unescaped
Diffstat (limited to 'src/util.mli')
| -rw-r--r-- | src/util.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/util.mli b/src/util.mli index 119ae01..7254fe1 100644 --- a/src/util.mli +++ b/src/util.mli @@ -2,4 +2,6 @@ exception Syntax_error of ((int * int) option * string) val get_lexing_position : Lexing.lexbuf -> int * int +val escape_string : string -> string + val default : 'a -> 'a option -> 'a |