dogs.Predef
An instance of A =:= B witnesses that the types A and B are equal.
A =:= B
A
B
<:< for expressing subtyping constraints
<:<
An instance of
A =:= B
witnesses that the typesA
andB
are equal.<:<
for expressing subtyping constraints