Dedekind
0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::MorphicBridge< T > Struct Template Reference
module
dedekind.category
Public Types
using
Domain
= typename T::Domain
using
Codomain
= typename T::Codomain
The documentation for this struct was generated from the following file:
src/main/modules/dedekind/category/
morphism.cppm
dedekind
category
MorphicBridge< T >
Generated by
1.15.0