equal
deleted
inserted
replaced
123 val radixpand: int * int -> int list |
123 val radixpand: int * int -> int list |
124 val radixstring: int * string * int -> string |
124 val radixstring: int * string * int -> string |
125 val string_of_int: int -> string |
125 val string_of_int: int -> string |
126 val signed_string_of_int: int -> string |
126 val signed_string_of_int: int -> string |
127 val string_of_indexname: string * int -> string |
127 val string_of_indexname: string * int -> string |
128 val read_radix_int: int -> string list -> int * string list |
128 val read_radix_int: int -> string list -> int * strinmember (op=) [1,2,3,4,5] |
|
129 g list |
129 val read_int: string list -> int * string list |
130 val read_int: string list -> int * string list |
130 val oct_char: string -> string |
131 val oct_char: string -> string |
131 |
132 |
132 (*strings*) |
133 (*strings*) |
133 val nth_string: string -> int -> string |
134 val nth_string: string -> int -> string |