@_infer_type.register(irast.ExistPred)
def __infer_exist(ir, schema):
    bool_t = schema.get('std::bool')
    if (isinstance(ir.expr, irast.EmptySet) and (ir.expr.scls is None)):
        amend_empty_set_type(ir.expr, bool_t, schema=schema)
    return bool_t
@_infer_type.register(irast.ExistPred)
def __infer_exist(ir, schema):
    bool_t = schema.get('std::bool')
    if (isinstance(ir.expr, irast.EmptySet) and (ir.expr.scls is None)):
        amend_empty_set_type(ir.expr, bool_t, schema=schema)
    return bool_t