fun pos X = " x " | pos (K n) = makestring n | pos (a ** b) = pos a ^" "^ pos b ^ " * " | pos (a ++ b) = pos a ^" "^ pos b ^ " + "