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
Right. I think we should have a good way of marking internal APIs that we only expose because another libcrux crate needs them. Maybe putting them behind an additional feature is the easiest.
But let's file a follow up for that and merge this as is for now.
Originally posted by @franziskuskiefer in #659 (comment)
The text was updated successfully, but these errors were encountered: