issues
search
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
Support inherent laws
#1091
Open
xldenis
opened
2 weeks ago
xldenis
commented
2 weeks ago
904 Raised the question of
inherent
laws, laws which are added to types and are thus brought into scope when that type is used. This would be quite interesting, and has some design room to explore.
904 Raised the question of inherent laws, laws which are added to types and are thus brought into scope when that type is used. This would be quite interesting, and has some design room to explore.