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