Unfortunately, the documentation of this library has not
been written yet. However, the README.md file may contain
enough information to help you. This document is an extract of the
README.md file.
Sorry for this inconvenience. Be ensured we are working hard to fix
this.
This is a companion discussion topic for the original entry at https://hoa-project.net/En/Literature/Hack/Option.html