1. algebra
   1. algebra.laws
      1. (object)(trait)BaseLaws
      2. (class)BooleanOps
      3. (class)CheckEqOps
      4. (class)CheckOrderOps
      5. (object)
         CheckSupport
      6. (object)(trait)GroupLaws
      7. (object)(trait)LatticeLaws
      8. (object)(trait)LatticePartialOrderLaws
      9. (object)(trait)LogicLaws
      10. (object)
          Ops
      11. (object)(trait)OrderLaws
      12. (object)(trait)RingLaws
      13. (object)
          Rules