This module exports everything from the stdlib via a data type which allows to test various procedures (pretty-printing, type checking, etc) over the entire stdlib in a convenient way: each time a function / data type is added to the stdlib, none of the tests is required to be adapted, instead you just add the new definition to stdLib defined below and all the tests see it automatically.