In this verification example several properties on option types are asserted. Note that `None` cannot be type checked. Type inference is needed and is only implemented for assignment (`=`), and the equality operators (`!=` and `==`).
Path to example file
Lines of code
16 lines (comments not included)
Lines of specification
4 lines (25% of the total)
Note, verification may take a while and has a time-out of 20 seconds.