Dwm::AreFFI_Subtractable Concept Reference

T2 can be subtracted from T1 and yield a T1. i.e. { T1 - T2 } -> T1. More...

#include <DwmFFIVar.hh>

Concept definition

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

Detailed Description

T2 can be subtracted from T1 and yield a T1. i.e. { T1 - T2 } -> T1.