bbm::concepts::has_subtraction Concept Reference

#include <util.h>

Concept definition

template<typename T>
concept bbm::concepts::has_subtraction =  requires(T a)
  {
    { a-a } -> assignable_to<T>;    
    { a-1 } -> assignable_to<T>;    
    { a-=a };   
    { a-=1 };   
  }