dedekind::category::StringCategory Struct Reference

The Category of Labels. More...

Public Types
using	Species = int
using	Arrow = StringArrow
using	Id = StringArrow

Static Public Member Functions
static constexpr Id	id_c (int x)

Detailed Description

The Category of Labels.

---

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

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