From 43b760058ae67f060fe89e6538d872fe982b3cb6 Mon Sep 17 00:00:00 2001 From: nodist Date: Sat, 9 May 2026 17:08:10 -0400 Subject: container types --- docs/type_system/option.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/type_system/option.md') diff --git a/docs/type_system/option.md b/docs/type_system/option.md index 1cc70a7..55e6b76 100644 --- a/docs/type_system/option.md +++ b/docs/type_system/option.md @@ -19,9 +19,9 @@ x : // something that returns an option If option is none an error is thrown -# Use with `Empty` qualifier +## Use with `Empty` qualifier -If the option is assigned to a type with `Empty` an error will not be through if the option is none +If the option is assigned to a type with `Empty`, no error is thrown. The empty value will be `nil` if the option is `none` # Matching -- cgit v1.2.3