Library ppxlib

The entry point for this library is module Ppxlib.