issues
search
epfl-lara
/
rust-stainless
An experimental Rust frontend for Stainless
Apache License 2.0
6
stars
2
forks
source link
Spec macro fails on `mut self` param
#145
Closed
yannbolliger
closed
3 years ago