dedekind::order::detail_connective::StructurallyBefore Struct Reference

a before b in the structural order. More...

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

Detailed Description

a before b in the structural order.

---

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

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