Lines Matching refs:word32T
24 mk_plus, mk_minus, word32T, word8T, mk_and, mk_eq, mk_implies, mk_not,
252 word32T.serialise (ss)
263 assert typ == word32T, typ
398 return lambda exp: logic.var_subst (exp, {('%i', word32T) : v},
406 lsub = mksub (mk_plus (mk_var ('%n', word32T),
575 return lambda exp: logic.var_subst (exp, {('%i', word32T) : v},
581 isub = mksub (mk_plus (mk_var ('%n', word32T),
630 return eq_hyp ((mk_var ('%n', word32T), visit),
810 v = syntax.mk_var ('#seq-visits', word32T)
811 t = logic.var_subst (t, {('%i', word32T) : v}, must_subst = False)