Robert Soeldner (Nov 16 2021 at 18:02): Robert Soeldner (Nov 16 2021 at 18:02):Is there no predicate, to check if 'a option is some Some e ?
I was looking via find_consts "'a option ⇒ bool"
Mathias Fleury (Nov 16 2021 at 18:05):Why not use equality?
Mathias Fleury (Nov 16 2021 at 18:06):like:
a ≠ None
Mathias Fleury (Nov 16 2021 at 18:06):(for code there is Option.is_none)
Notification Bot (Nov 16 2021 at 18:07):Robert Soeldner has marked this topic as resolved.
Last updated: Oct 30 2025 at 08:28 UTC