dedekind::category::image_decidability_witness::ToyRetract Struct Reference

Public Member Functions
constexpr std::optional< bool >	operator() (const int &y) const

---

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

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