Poly/ML is Standard ML implementation fully conforming to the 1997
"Definition of Standard ML (Revised)", generally known as ML97.