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