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