Ikarus::Concepts::DivideAssignAble Concept Reference

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

#include <ikarus/utils/concepts.hh>

Concept definition

template<typename L, typename R>
concept Ikarus::Concepts::DivideAssignAble =  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 divided in-place by instances of type R using the /= operator.