Types and utilities related to packing and unpacking Option values.
Option
Error type raised when a semantic error occurs while unpacking an option.