Ikarus::Concepts::SubstractAble Concept Reference

Concept defining the requirements for types that support subtraction. More...

#include <ikarus/utils/concepts.hh>

Concept definition

template<typename L, typename R>
concept Ikarus::Concepts::SubstractAble =  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 types L and R can be subtracted using the - operator.