1structure PrettyImpl = 2struct 3 4 datatype pretty = datatype PolyML.pretty 5 val prettyPrint = PolyML.prettyPrint 6 7end 8