dedekind::category::MergeBadOp Struct Reference

---

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

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