The basic Prop language is the same as C++ with the following syntactic extensions:
Like C++, a Prop is typically divided into the specification,
which defines the data structure and its interface, and the
implementation parts. Prop specifications should
be placed in a file with a .ph suffix, while an implementation
should be placed in a file with a .pC
. The translator will convert each
.pxxx into a file with the suffix .xxx. The translated
output can then be fed to the C++ compiler for compilation.
