Open romac opened 3 years ago
Modeled after https://github.com/epfl-lara/stainless/blob/master/frontends/library/stainless/collection/ListMap.scala
This depends on #39, because the implementation of the ListMap needs to be available to the compiler for verification to work.
Modeled after https://github.com/epfl-lara/stainless/blob/master/frontends/library/stainless/collection/ListMap.scala
This depends on #39, because the implementation of the ListMap needs to be available to the compiler for verification to work.