io.vasilev:discipline-core_native0.4_2.13 (maven): discipline
Keywords: property-based-testing|scala|typelevel