dedekind::category::Parthood Concept Reference

Skeletal part-whole contract at the concept level. More...

Concept definition

template<typename T>
concept dedekind::category::Parthood =  IsPartOfRelation<T, T, bool>

Detailed Description

Skeletal part-whole contract at the concept level.

This concept is the concept-only replacement for the former Parthood witness struct. At this embryonic stage, we encode parthood directly as the self-carrier primitive relation contract (T as both part and whole).