Skip to content

Opaquify proofs in gmap_partial_alter (fix #46)

Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:opaquify-gmap into master
  • Ensure gmap well-formedness proofs are fully opaque.
  • Use pattern-matching lambdas over lets.
Edited by Paolo G. Giarrusso

Merge request reports