All methods that have the same signature as those in std::collections now also have the same name. Some methods like insert and remove don't have the same return type (because Stainless collections return the newly created collection – they're immutable) but the names are now closer to std.
For the Scala getOrElse and apply there are no direct equivalents. However, as std::collection can be indexed, the apply was named index. getOrElse was named get_or in analogy of unwrap_or from std::option::Option.
Closes #144.
All methods that have the same signature as those in
std::collectionsnow also have the same name. Some methods likeinsertandremovedon't have the same return type (because Stainless collections return the newly created collection – they're immutable) but the names are now closer tostd.For the Scala
getOrElseandapplythere are no direct equivalents. However, asstd::collectioncan be indexed, theapplywas namedindex.getOrElsewas namedget_orin analogy ofunwrap_orfromstd::option::Option.