def visit_Bytes(self, node): tp = TypeDB.get_string() return Code(tp=tp, code=tp.as_literal(str(node.s, 'utf-8')))
def visit_Str(self, node): tp = TypeDB.get_string() return Code(tp=tp, code=tp.as_literal(node.s))