dedekind::category::HasArrowDereferenceOperator Concept Reference

Syntactic check: m.operator->() compiles for M. More...

Concept definition

template<typename M>
concept dedekind::category::HasArrowDereferenceOperator =  requires(M const& m) { m.operator->(); }

Detailed Description

Syntactic check: m.operator->() compiles for M.