dedekind::category::detail_runs::Along< Pred, N, K >::State Struct Reference

Collaboration diagram for dedekind::category::detail_runs::Along< Pred, N, K >::State:

Public Attributes
bool	inside {false}
AtMost< N, K >	steps

---

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

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