Lines Matching refs:word
35 val word = wordsSyntax.mk_int_word_type 32
114 val r15 = stateLib.gvar "pc" word
131 val pc_tm = Term.mk_var ("pc", word)
458 utilsLib.mk_cond_rand_thms [``aligned n : 'a word -> bool``]
549 [``Extend (T, w:'a word): 'b word``,
550 ``Extend (F, w:'a word): 'b word``] @
742 [word, word5, ``:RName``]
1250 val map_tys = [word, word5, ``:RName``]