std::relation(3)

💖 NAME 💖

Hiii bestie! This is std::relation(3), straight from the C++ Standard Libary manual — yes, that's the manual name, typo and all, we are not fixing it 💅✨.

The NAME line is literally std::relation - std::relation. Twin energy, no notes 😭🫶.

✨ Synopsis ✨

Defined in header <concepts> 🦋

          template< class R, class T, class U >

          concept relation =                                        (1) (since
       C++20)
              std::predicate<R, T, T> && std::predicate<R, U, U> &&

              std::predicate<R, T, U> && std::predicate<R, U, T>;

Okay so here's the vibe: the concept relation<R, T, U> specifies that R defines a binary relation over the set of expressions whose type and value category are those encoded by either T or U. That's the whole flex — R is out here being a binary relation across that expression set, and the code above lays out the std::predicate checks it's serving 🔥👑.

---

That's the tea 🍓: this page came from http://cppreference.com, dated 2024.06.10, and it's std::relation(3) — periodt. 💖✨🎀