Oasis::DerivedFromBinaryExpression Concept Reference

#include <Oasis/Concepts.hpp>

Concept definition

template<typename Derived>
concept Oasis::DerivedFromBinaryExpression =  requires(Derived& d) {
    []<template <IExpression, IExpression> typename D, IExpression T, IExpression U>(BinaryExpression<D, T, U>&) {}(d);
}