Lines Matching refs:builtinTs
11 builtinTs, word32T, word8T, foldr1, mk_eq, mk_plus, mk_word32, mk_var)
432 [builtinTs['HTD'], builtinTs['Dom']])
622 if typ == syntax.builtinTs['Mem']:
634 assert typ == builtinTs['Mem']
700 if typ == builtinTs['Mem']:
901 if typ == syntax.builtinTs['Mem']]
1146 if x.typ == syntax.builtinTs['RelWrapper']:
1197 if typ == syntax.builtinTs['Mem']]:
1257 if x.typ.kind == 'Word' or x.typ == syntax.builtinTs['Mem']