../base.
The corresponding code for type checking etc is reused.
The main tool, ppfe,
reuses the extensible front-end defined in the directory
../pfe.
The language provided for describing properties is P-logic. A separate page describes the P-logic syntax, as implemented by PFE.