prop/nyaya.prop/Prop/AllPresentB

AllPresentB

final class AllPresentB[A](name: String) extends AnyVal
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def apply[B, C](requiredSubset: A => Set[B], testData: A => IterableOnce[C])(ev: B <:< C): Prop[A]