// AUTOGENERATED FILE - DO NOT MODIFY!
// This file generated by Djinni from derivings.djinni

#include "record_with_derivings.hpp"  // my header


bool operator==(const RecordWithDerivings& lhs, const RecordWithDerivings& rhs) {
    return lhs.key1 == rhs.key1 &&
           lhs.key2 == rhs.key2;
}

bool operator!=(const RecordWithDerivings& lhs, const RecordWithDerivings& rhs) {
    return !(lhs == rhs);
}

bool operator<(const RecordWithDerivings& lhs, const RecordWithDerivings& rhs) {
    if (lhs.key1 < rhs.key1) {
        return true;
    }
    if (rhs.key1 < lhs.key1) {
        return false;
    }
    if (lhs.key2 < rhs.key2) {
        return true;
    }
    if (rhs.key2 < lhs.key2) {
        return false;
    }
    return false;
}

bool operator>(const RecordWithDerivings& lhs, const RecordWithDerivings& rhs) {
    return rhs < lhs;
}

bool operator<=(const RecordWithDerivings& lhs, const RecordWithDerivings& rhs) {
    return !(rhs < lhs);
}

bool operator>=(const RecordWithDerivings& lhs, const RecordWithDerivings& rhs) {
    return !(lhs < rhs);
}
