val replace_dot : string -> stringval open_path : string -> (string * Zip.in_file) optionval lookup_summary : string -> (string * Zip.in_file) -> stringval has_summary_file : (string * Zip.in_file) list -> string -> boolval get_summary_file : (string * Zip.in_file) list -> string -> stringval apply_to_xml_jar :
(string -> string -> unit) ->
(Zip.in_file -> Zip.entry -> unit) ->
string ->
unitval time_to_string : float -> stringval date_time_to_string : float -> stringval get_slice : 'a list -> int -> int -> 'a list optionval has_control_characters : string -> boolval hex_string : string -> string