{"library":"discipline-core-3","install":[{"cmd":"<dependency>\n  <groupId>org.typelevel</groupId>\n  <artifactId>discipline-core_3</artifactId>\n  <version>1.7.0</version>\n</dependency>","imports":["org.typelevel.discipline.Laws"]},{"cmd":"implementation 'org.typelevel:discipline-core_3:1.7.0'","imports":[]}]}