Lines Matching refs:builtinTs
10 from syntax import word32T, word8T, boolT, builtinTs, Expr, Node
29 assert m.typ == builtinTs['Mem']
48 if v.typ not in [builtinTs['Mem'], builtinTs['Dom'],
49 builtinTs['HTD'], builtinTs['PMS'],
52 memT = builtinTs['Mem']
135 st = mk_var ('stack', builtinTs['Mem'])
175 mem = mk_var ('mem', builtinTs['Mem'])
1534 assert lhs.typ == syntax.builtinTs['RelWrapper']
1535 assert rhs.typ == syntax.builtinTs['RelWrapper']
1554 assert m.typ == builtinTs['Mem']
1560 if lhs_v.typ == syntax.builtinTs['RelWrapper']: