<p><pre><code>  type &#x27;a myOption = Some of &#x27;a | None
  let f (Some x) = x*x

</code></pre>
Gives this output:<p><pre><code>  Warning 8: this pattern-matching is not exhaustive.
  Here is an example of a value that is not matched:
  None</code></pre>