Function or_rollback 

pub fn or_rollback<Q: HasOr>() -> impl Mod<Q>

OR ROLLBACK — a constraint violation aborts the whole transaction.