Module Papi_top

#require "papi.top" from toploop to install pretty-printers.