Ikarus::Concepts::SubstractAssignAble Concept Reference

Concept defining the requirements for types that support in-place subtraction. More...

#include <ikarus/utils/concepts.hh>

Concept definition

template<typename L, typename R>
concept Ikarus::Concepts::SubstractAssignAble =  requires(L x, R y) { x -= y; }

Detailed Description

Template Parameters

L	Type of the left operand.
R	Type of the right operand.

The concept specifies that instances of type L can be subtracted in-place by instances of type R using the -= operator.