Dedekind
0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::is_connex< T, Rel > Struct Template Reference
export
module
dedekind.category
Inheritance diagram for dedekind::category::is_connex< T, Rel >:
[
legend
]
Collaboration diagram for dedekind::category::is_connex< T, Rel >:
[
legend
]
Detailed Description
template<typename T, typename
Rel
>
struct dedekind::category::is_connex< T, Rel >
The documentation for this struct was generated from the following file:
src/main/modules/dedekind/category/
mereology.cppm
dedekind
category
is_connex
Generated by
1.15.0