Ikarus::Concepts::AddAble Concept Reference

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

#include <ikarus/utils/concepts.hh>

Concept definition

template<typename L, typename R>
concept Ikarus::Concepts::AddAble =  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 added using the + operator.