1. org
   1. org.typelevel
      1. org.typelevel.discipline
         1. (class)AllProperties
         2. (trait)Laws
         3. (object)(trait)Predicate
         1. org.typelevel.discipline.scalatest
            1. (trait)Discipline