Dedekind
0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::numbers::IsIEEEPropagationOp Concept Reference
export
module
dedekind.numbers.approx
Concept definition
template
<
typename
Op,
typename
F>
concept
dedekind::numbers::IsIEEEPropagationOp
=
dedekind::ieee::IsIEEEPropagationOp<Op, F>
dedekind::ieee::IsIEEEPropagationOp
Category-grounded contract for propagation operation tokens.
Definition
approx.cppm:71
dedekind::numbers::IsIEEEPropagationOp
Definition
approx.cppm:37
dedekind
numbers
IsIEEEPropagationOp
Generated by
1.15.0