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 https://github.com/cryspen/libcrux/pull/659#discussion_r1841716104_