From f3d6932e281e5ae7eedd7e1bd7c6106d09d33595 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 5 Aug 2026 14:30:05 +0800 Subject: [PATCH] [optional.optional.ref.general] Unify indexing for "contain(s) a value" --- source/utilities.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/utilities.tex b/source/utilities.tex index 0c500de28d..b5f49da246 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -4831,7 +4831,7 @@ \pnum An object of type \tcode{optional} -\defnx{contains a value}{contains a value!\idxcode{optional.ref}} +\defnx{contains a value}{contain a value!\idxcode{optional.ref}} if and only if \tcode{\exposidnc{val} != nullptr} is \tcode{true}. When an \tcode{optional} contains a value, the \defnx{contained value}{contained value!\idxcode{optional.ref}}