Type invariants cleanup

creusot-rs / creusot

Creusot helps you prove your code is correct in an automated fashion.

GNU Lesser General Public License v2.1

1.12k stars 50 forks source link

Closed jhjourdan closed 1 week ago

jhjourdan commented 1 week ago

This should be uncontroversial and this should not change observable behavior (apart from identifiers in coma files...).