dedekind::order::detail_connective::StructurallySame Struct Reference

a and b the same tree (equivalent in the structural order). More...

Public Member Functions
template<typename X>
bool	operator() (const X &a, const X &b) const

Detailed Description

a and b the same tree (equivalent in the structural order).

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/order/runs.cppm