From 5c0c5bea1cc90a3e27cb0ae545325baed7e09d7c Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Sun, 1 Jun 2025 08:11:03 -0700 Subject: [PATCH] Fix function type name in [exec.let] The specification of `let_value(sndr,fn)` and friends refers to the type of `fn` as "`Fn`". But when introducing the types, we give it the name "`F`". This fixes the inconsistency. --- source/exec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index 99ea7b1f2e..4757685bae 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -3536,7 +3536,7 @@ Given a type \tcode{Tag} and a pack \tcode{Args}, let \exposid{as-sndr2} be an alias template such that \tcode{\exposid{as-sndr2}} denotes -the type \tcode{\exposid{call-result-t}\&...>}. +the type \tcode{\exposid{call-result-t}\&...>}. Then \tcode{ops2_variant_t} denotes the type \begin{codeblock}