dedekind::category::detail_etcs_total_witness::SetOverNonRegular Struct Reference

Classes
struct	Member

Public Types
using	Domain = NonRegular
using	logic_species = Boole
using	Codomain = Boole::Ω

Public Member Functions
constexpr NonRegular	ι (const Member &m) const
constexpr bool	operator() (const NonRegular &) const

---

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

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