MapLikeContainsAssertions

Defines the minimum set of contains assertion functions for Iterable, which an implementation of the domain of Atrium has to provide.