ты можешь сказать, что на а наложено два ограничения: 1 <= a <= 100 && (a % 3 == 0)

ограничения в таком виде очень легко пересекаются

Могу

потому что два условия на остаток это одно условие на остаток

По сути да

не по сути, это называется китайская теорема об остатках)

fn eq(lhs: &Atomic, rhs: &Atomic) -> bool {
   match (lhs, rhs) {
       (Atomic::Constant(lhs), Atomic::Constant(rhs)) => {
           lhs == rhs
       },
       (Atomic::Interval(lhs), Atomic::Interval(rhs)) => {
           
           false
       },
       (Atomic::Interval(interval), Atomic::Constant(constant))
       | (Atomic::Constant(constant), Atomic::Interval(interval)) => {
           
           false
       },
       _ => panic!("forbidden operation"),
   }
}

определение как вектора крайне неприятно

?

Прототип же

возможно, ты хочешь массив индексированный типом

Возможно

потому что пересекаются обычно как вектора математические

А возможно нет

Ну хз не очень прошарен

ты проверь тока что у тебя константа в интервале

Я пока вообше не знаю что я выдавать должен

Наверное предикат

Последовательность предикатов хз

vec<Atomic>