Improve on `Mapping::contains` + Migrate examples to new API#1242

Merged

cmichi merged 8 commits intomasterfrom

cmichi-use-new-mapping-api-functions-in-examples

May 18, 2022

Commits on May 4, 2022

Apply suggestions from code review

cmichi
and
agryaznov
authored

Commits on May 13, 2022

Merge branch 'master' into cmichi-use-new-mapping-api-functions-in-examples
cmichi
committed

Commits on May 18, 2022

Merge branch 'master' into cmichi-use-new-mapping-api-functions-in-examples
cmichi
committed