-record(exists, {core :: sqlode@query_ir:select_core(), negated :: boolean()}).