Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::detail_recursion_witness::FormsSamePointRecursion Concept Reference
module dedekind.sets

Concept definition

template<typename T>
concept dedekind::sets::detail_recursion_witness::FormsSamePointRecursion = requires { 𝔸<T>{} & χ(π_2 - N{1}, π_2); }
dedekind::sets::detail_recursion_witness::FormsSamePointRecursion
Definition recursion.cppm:370
dedekind::sets::𝔸
The universal set over the carrier T: the terminal object ⊤ of Sub(T), the reified type constraint.
Definition boundaries.cppm:296