We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
undefined
Originally raised in #127 (comment)
The text was updated successfully, but these errors were encountered:
Actually, it is ok for me to keep as it currently implemented, because
option(unit)
None
unit
Sorry, something went wrong.
shall we close this then ? I told you that undefined is not a good idea in general (for None) .. :)
No branches or pull requests
Originally raised in #127 (comment)
The text was updated successfully, but these errors were encountered: