[MLton] power pc "port"

[Matthew Fluet]

> 2) Is it really the case that the WordAAA_BBB functions are not declared
> in any header file, and that the C compiler must make assumptions about
> their signature?

Yes and no.  There is no header file that declares their types.  But, if
you compile with  -keep g  and look at the .c files, you will see that all
prototypes of C functions called are at the beginning of the file.  These
prototypes are generated from the types they are specified to have in the
Basis Library implementation.

Other functions that correspond to primitives are defined in c-chunk.h
which is included in every .c file.  The WordAAA_BBB functions are all
declared as static inline, but with full type information.