equal
deleted
inserted
replaced
5 *) |
5 *) |
6 |
6 |
7 signature ATP_UTIL = |
7 signature ATP_UTIL = |
8 sig |
8 sig |
9 val timestamp : unit -> string |
9 val timestamp : unit -> string |
|
10 val hashw : word * word -> word |
|
11 val hashw_string : string * word -> word |
10 val hash_string : string -> int |
12 val hash_string : string -> int |
11 val chunk_list : int -> 'a list -> 'a list list |
13 val chunk_list : int -> 'a list -> 'a list list |
12 val stringN_of_int : int -> int -> string |
14 val stringN_of_int : int -> int -> string |
13 val strip_spaces : bool -> (char -> bool) -> string -> string |
15 val strip_spaces : bool -> (char -> bool) -> string -> string |
14 val strip_spaces_except_between_idents : string -> string |
16 val strip_spaces_except_between_idents : string -> string |