1. japgolly
   1. japgolly.nyaya
      1. (case class)Atom
      2. (case class)Biconditional
      3. (case class)Conjunction
      4. (object)(case class)CycleDetector
      5. (case class)CycleFree
      6. (case class)Disjunction
      7. (object)(case class)Eval
      8. (case class)EvalOver
      9. (case class)Implication
      10. (case class)Input
      11. (object)(class)Logic
      12. (class)LogicPropExt
      13. (case class)Mapped
      14. (case class)Named
      15. (case class)Negation
      16. (object)
          Prop
      17. (class)Prop_AnyExt
      18. (object)(class)PropA
      19. (case class)Reduction
      1. japgolly.nyaya.util
         1. (object)
            ListMultiValues
         2. (object)(class)Multimap
         3. (object)(trait)MultiValues
         4. (object)
            SetMultiValues
         5. (object)
            Util
         6. (object)
            VectorMultiValues
2. scalaz
   1. scalaz.syntax