Comment by Loic

In this context, ML is Meta Language: https://en.wikipedia.org/wiki/ML_(programming_language)