An Option is a discriminated union with two cases, None or Some.
Option
None
Some
type Option<'T> = Some of 'T | None