equal
deleted
inserted
replaced
126 val downto0: int list * int -> bool |
126 val downto0: int list * int -> bool |
127 val radixpand: int * int -> int list |
127 val radixpand: int * int -> int list |
128 val radixstring: int * string * int -> string |
128 val radixstring: int * string * int -> string |
129 val string_of_int: int -> string |
129 val string_of_int: int -> string |
130 val string_of_indexname: string * int -> string |
130 val string_of_indexname: string * int -> string |
|
131 (* CB: note alternative Syntax.string_of_vname has nicer syntax *) |
131 val read_radixint: int * string list -> int * string list |
132 val read_radixint: int * string list -> int * string list |
132 val read_int: string list -> int * string list |
133 val read_int: string list -> int * string list |
133 val oct_char: string -> string |
134 val oct_char: string -> string |
134 |
135 |
135 (*rational numbers*) |
136 (*rational numbers*) |