The SRC Modula-3 standard library is quite comprehensive, and only the basic routines are covered here.
NOTE: Many interfaces define a type named "T": for example, Text.T, Rd.T, Wr.T. The procedure declarations in such an interface take a parameter of type T, but from the programmer's point of view, the parameter is of type Text.T, Rd.T, etc.