[basic.contract.eval] Replace "operation" with "evaluation"#8657
Merged
tkoeppe merged 1 commit intocplusplus:mainfrom Dec 21, 2025
Merged
[basic.contract.eval] Replace "operation" with "evaluation"#8657tkoeppe merged 1 commit intocplusplus:mainfrom
tkoeppe merged 1 commit intocplusplus:mainfrom
