search

epfl-lara / rust-stainless

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

Provide runtime Set and Map implementations #117

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Currently, all operations on stainless::{Set, Map} are unimplemented!() such that code/or runtime checks/asserts using them cannot be run.

Change this to have some runnable underlying implementations.

Maybe backed by this: https://docs.rs/im/15.0.0/im/