word.sml

val true = 0w1 + 0w2 = 0w3;
val 0w2 = 0w3 - 0w1;
val 0w2 = 0w3 + Word.~ 0w1;
val 0w2 = 0w3 + (~ 0w1);