Polyml

• poly(1) the Poly/ML Standard ML implementation
• polyc(1) Compile and link a Standard ML program using Poly/ML
• polyimport(1) the Poly/ML import program