#include <Oasis/Concepts.hpp>

Concept definition

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