dedekind::category::detail_equality::SameInt Struct Reference

A carrier's own equality, certified once: the laws follow. More...

Public Member Functions
constexpr bool	operator() (int a, int b) const

Detailed Description

A carrier's own equality, certified once: the laws follow.

---

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

• src/main/modules/dedekind/category/equivalence.cppm