structure Answers=
struct
structure Rational = Rational
structure Interval = Interval
end;

PolyML.use "/home/mulgara/year2/examples/CS201/adm/Prac2/DoTest";