Some of the questions (and answers) in these tests use the
type.lang) to perform input/output operations and contract declarations.
The examples in the book use
ToolBox to perform these functions. As far as these tests are concerned, the two
approaches are equivalent and one can easily translate one to the other. For example,
IO.readDouble() is similar to
IO.print is similar to
SE.require is similar to