search

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless
Apache License 2.0
6 stars 2 forks source link

Add Set::contains to library #135

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Closes #129.

romac commented 3 years ago

Oops, I didn't notice this was going to be merged in https://github.com/epfl-lara/rust-stainless/pull/134. Was that intended?

romac commented 3 years ago

Reverted and opened https://github.com/epfl-lara/rust-stainless/pull/139 targeting master.