As we mentioned above, the std pretty printer is a modular pretty printer. For the moment, its only component will be the basic pretty printer defined below. To specify the std pretty printer's composition, include the following line in the file: contrib/Exp/pprinters/pprinters.rdb
Centaur.Exp.ppml.std.Package: (basic)
We will add to this list later on in the tutorial.