Dwm::AreFFI_Dividable Concept Reference

T1 can be divided 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_Dividable =  requires(T1 a, T2 b) {
    { a / b } -> std::same_as<T1>;
  }

Detailed Description

T1 can be divided by T2 and yield a T1. i.e. { T1 / T2 } -> T1.