Dwm::AreFFI_Multipliable Concept Reference

T1 can be multiplied by T2 and yield a T1. i.e. { T1 * T2 } -> T1. More...

#include <DwmFFIVar.hh>

Concept definition

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

Detailed Description

T1 can be multiplied by T2 and yield a T1. i.e. { T1 * T2 } -> T1.