At (line 27 of "General/integer.ML")
Error: Structure does not match signature.
   Signature: val div_mod: int -> int -> int * int
   Structure:
      val div_mod: IntInf.int -> IntInf.int -> IntInf.int * IntInf.int
   Reason:
      Can't match IntInf.int (*In Basis*) to int (*In Basis*)
         (Different type constructors)
struct
 fun min x ... = Int.min (...)
 fun max ... = ... ...
 fun add ... = ...
 fun ...
 fun ...
 ...
 ...
 end
At (line 27 of "General/integer.ML")
Error: Structure does not match signature.
   Signature: val gcd: int -> int -> int
   Structure: val gcd: LargeInt.int -> LargeInt.int -> LargeInt.int
   Reason:
      Can't match LargeInt.int (*In Basis*) to int (*In Basis*)
         (Different type constructors)
struct
 fun min x ... = Int.min (...)
 fun max ... = ... ...
 fun add ... = ...
 fun ...
 fun ...
 ...
 ...
 end
At (line 27 of "General/integer.ML")
Exception- Fail "Static Errors" raised
Exception- ERROR "ML error" raised
Error trying to use the file: 'ROOT.ML'