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
For example, if a function returns an int, we should additionally mark whether the int may be 0. Same for an empty string.
Use the feature to add annotations for a dozen of library functions.
Propagate the annotation to the generate Unknown objects in EO
Unknown
The text was updated successfully, but these errors were encountered:
dours
No branches or pull requests
For example, if a function returns an int, we should additionally mark whether the int may be 0. Same for an empty string.
Use the feature to add annotations for a dozen of library functions.
Propagate the annotation to the generate
Unknown
objects in EOThe text was updated successfully, but these errors were encountered: