Вывод усечен с помощью # -знаков в REPL

Я написал функцию, которая работает должным образом, но я не понимаю, почему результат такой.

Функция:

datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop;


(* XOR = (A And Not B) OR (Not A Or B) *)

local

fun do_xor (alpha,beta) = Or( And( alpha, Not(beta) ), Or(Not(alpha), beta))

in
fun xor (alpha,beta) = do_xor(alpha,beta);
end;

Тест:

val result = xor(Atom "a",Atom "b");

Вывод:

val result = Or (And (Atom #,Not #),Or (Not #,Atom #)) : prop