Laws

object Laws
class Object
trait Matchable
class Any
Laws.type

Type members

Types

type Law1[-Caps[_]] = Law1[Caps]
type Law1M[-Caps[_]] = Law1M[Caps, Any]
type Law2[-Caps[_]] = Law2[Caps]
type Law2M[-Caps[_]] = Law2M[Caps, Any]
type Law3[-Caps[_]] = Law3[Caps]
type Law3M[-Caps[_]] = Law3M[Caps, Any]