1 structure I
= MLton
.IntInf
2 val bigthree
= Vector.fromList (List.map I
.BigWord
.fromInt
[0,3])
3 val three
= case I
.fromRep (I
.Big bigthree
) of SOME b3
=> b3 | NONE
=> 3
4 val () = case IntInf
.compare (three
, three
+ 1 - 1) of
5 EQUAL
=> print
"That's good\n"
6 | _
=> print
"That's bad\n"