Lines Matching refs:word
61 val _ = type_abbrev("word",``:word32``);
78 (``\(sw:bool,in1:word,in2:word). if sw then in1 else in2``,
84 (``(UNCURRY ($+ :word->word->word))``,(fn[inp1,inp2] => inp1 ^ " + " ^ inp2)),
87 (``(UNCURRY ($<< :word->num->word))``,(fn[inp1,inp2] => inp1 ^ " << " ^ inp2)),
88 (``(UNCURRY ($- :word->word->word))``,(fn[inp1,inp2] => inp1 ^ " - " ^ inp2)),
148 The constant WL is the word length.
203 (mul:num, mul2:num, borrow2:bool, mshift:num, rm:word,rd:word).
209 `INITd(a,rm:word,rs,rn) = (BITS 1 0 (w2n rs),
227 `NEXTd(mul,mul2,borrow2,mshift,rm:word,rd) =