Skip to content

Remove existential quantifiers in swapping case of `iProto_le`.

Robbert Krebbers requested to merge robbert/iProto_le_swap_tweak into master

Merge request reports