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