Is there no predicate, to check if 'a option
is some Some e
?
I was looking via find_consts "'a option ⇒ bool"
Why not use equality?
like:
a ≠ None
(for code there is Option.is_none
)
Robert Soeldner has marked this topic as resolved.
Last updated: Nov 11 2024 at 01:24 UTC