From 219ee6815284bcc732fe366a07414bf11af99613 Mon Sep 17 00:00:00 2001 From: Arijit Basu Date: Sat, 15 Jul 2023 07:55:28 +0530 Subject: [PATCH] Update sum-type.md --- docs/en/src/sum-type.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/en/src/sum-type.md b/docs/en/src/sum-type.md index a083418..777aa65 100644 --- a/docs/en/src/sum-type.md +++ b/docs/en/src/sum-type.md @@ -16,8 +16,8 @@ tables just below. Yes, they are actually sum types, i.e. they can be any of the given set of tagged variants listed there. -Notice the word "be". Unlike classes or structs (aka product types), they don't -"have" values, they "are" (i.e. "be") the value, or rather, one of the possible +Notice the word "be". Unlike classes or structs (aka product types), they can't +"have" values, they can only "be" the value, or rather, be one of the possible set of values. Also notice the word "tagged". Unlike the single variant `null`, or the dual