Dwm::AreFFI_Moduloable Concept Reference

T1 modulo T2 yields a T1. i.e. { T1 % T2 } -> T1. More...

#include <DwmFFIVar.hh>

Concept definition

template<typename T1, typename T2>
concept Dwm::AreFFI_Moduloable =  requires(T1 a, T2 b) {
    { a % b } -> std::same_as<T1>;
  }

Detailed Description

T1 modulo T2 yields a T1. i.e. { T1 % T2 } -> T1.