(* Metis-specific ML environment *) nonfix ++ -- RL mem; val explode = String.explode; val implode = String.implode; val print = TextIO.print; val foldl = List.foldl; val foldr = List.foldr;