equal
deleted
inserted
replaced
3 Author: Makarius |
3 Author: Makarius |
4 |
4 |
5 SML basis with type int representing proper integers, not machine |
5 SML basis with type int representing proper integers, not machine |
6 words. |
6 words. |
7 *) |
7 *) |
|
8 |
|
9 val ml_system_fix_ints = true; |
8 |
10 |
9 val mk_int = IntInf.fromInt: Int.int -> IntInf.int; |
11 val mk_int = IntInf.fromInt: Int.int -> IntInf.int; |
10 val dest_int = IntInf.toInt: IntInf.int -> Int.int; |
12 val dest_int = IntInf.toInt: IntInf.int -> Int.int; |
11 |
13 |
12 |
14 |