Module type Make.PrinterClass

Auxiliary module type for a pretty-printer