org.typelevel.discipline.Laws
Convenience trait to mix into subclasses of RuleSet for rule sets which only have one parent.
Convenience trait to mix into subclasses of RuleSet for rule sets which only have one parent.