Вам необходимо сначала создать строку из term
, а затем распечатать ее, используя print
.Чтобы превратить term
в строку, вы можете определить такую функцию:
fun termToString (node (str, terms)) =
"node(" ^ str ^ ", " ^ termListToString terms ^ ")"
| termToString (vnode str) =
"vnode(" ^ str ^ ")"
and termListToString terms =
"[" ^ String.concatWith ", " (map termToString terms) ^ "]"