Equal
Used to document laws in a typechecked manner. The purpose of expression Equal(f, g) is just to ensure
that f and g compile and are of the same type.
Used to document laws in a typechecked manner. The purpose of expression Equal(f, g) is just to ensure
that f and g compile and are of the same type.
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any