dedekind::category::StringArrow Struct Reference

An arrow that is just a label. More...

Collaboration diagram for dedekind::category::StringArrow:

Public Types
using	Domain = int
using	Codomain = int

Public Member Functions
constexpr int	operator() (int x) const

Public Attributes
std::string	label
int	domain_id
int	codomain_id

Friends
constexpr StringArrow	operator>> (const StringArrow &f, const StringArrow &g)

Detailed Description

An arrow that is just a label.

---

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

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