dedekind::algebra::detail_universal::default_signatures< Arrow > Struct Template Reference

Public Types
using	source = semiring_signature<dedekind::category::Dom<Arrow>>
using	target = semiring_signature<dedekind::category::Cod<Arrow>>

---

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

• src/main/modules/dedekind/algebra/universal.cppm