@_infer_type.register(irast.TypeCheckOp)
def __infer_typecheckop(ir, schema):
    (left_type, right_type) = _infer_binop_args(ir.left, ir.right, schema)
    return schema.get('std::bool')
@_infer_type.register(irast.TypeCheckOp)
def __infer_typecheckop(ir, schema):
    (left_type, right_type) = _infer_binop_args(ir.left, ir.right, schema)
    return schema.get('std::bool')