|
(* Moscow ML does not have the LargeInt structure,
|
||
|
|
* but its Int is 64 bit on 64 bit systems.
|
||
|
|
* We need 64 bit integers for the `time-ms` core function.
|
||
|
|
*)
|
||
|
|
|
||
|
|
structure LargeInt = Int
|