search

epfl-lara / rust-stainless

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

Revert "Add Set::contains to library" #138

Closed romac closed 3 years ago

romac commented 3 years ago

Reverts epfl-lara/rust-stainless#135