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