../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.