You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
HOL4 only supports uniform polymorphism, which is not granted by Rust: it would be good to check this, and at least print a warning if the functions we translate/the generated functions don't fall into the supported subset.
The text was updated successfully, but these errors were encountered:
HOL4 only supports uniform polymorphism, which is not granted by Rust: it would be good to check this, and at least print a warning if the functions we translate/the generated functions don't fall into the supported subset.
The text was updated successfully, but these errors were encountered: