@104051022023260372251021217357261053015367015144::Attachable Concept Reference

Dependent laws must read selected inputs, have distinct outputs, and avoid independent outputs. More...

Concept definition

template<typename Selection, typename Law>
concept @104051022023260372251021217357261053015367015144::Attachable =  requires(Selection selection, Law law) { std::move(selection).with(std::move(law)); }

Detailed Description

Dependent laws must read selected inputs, have distinct outputs, and avoid independent outputs.