search

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
MIT License
273 stars 36 forks source link

Java override for FoldBag #66

Closed muenchnerkindl closed 2 years ago

muenchnerkindl commented 2 years ago

I added a Java override for the FoldBag operator in BagsExt, as well as two more operators (without Java overrides) in BagsExt and a couple of tests.

@lemmy could you please have a look?

lemmy commented 2 years ago

Merged with minor additions in https://github.com/tlaplus/CommunityModules/commit/6932050273f1e7b44d7dcc5484597ac0cd95af44 and https://github.com/tlaplus/CommunityModules/commit/4c179192ad41215468462d5c143d33dade0b27ef