module Escaping:String escaping.sig
..end
Operations for escaping and unescaping strings, with paramaterized escape
and escapeworthy characters.
val escape_gen : escapeworthy_map:(char * char) list -> escape_char:char -> string -> string
escape_gen escapeworthy_map escape_char s
returns an escaped string based on
s
as follows: if (c1,c2)
is in escapeworthy_map
, then all occurences of
c1
are replaced by escape_char
concatenated to c2
.val escape : escapeworthy:char list -> escape_char:char -> string -> string
val escape_one_orig : escapeworthy:char -> escape_char:char -> string -> string
val escape_two_orig : escapeworthy1:char ->
escapeworthy2:char -> escape_char:char -> string -> string
val unescape_gen : map:(char * char) list -> escape_char:char -> string -> string
val unescape : escape_char:char -> string -> string