forked from JavaTX/JavaCompilerCore
29 lines
503 B
Plaintext
29 lines
503 B
Plaintext
equals(t1, t2). % Map<Object, Integer> =. Map<Integer, Object>
|
|
%smallerDot(t2, t1).
|
|
|
|
type(t1, cMap, 2).
|
|
type(t2, cMap, 2).
|
|
%type(t2, cHashMap, 2).
|
|
param(t1, t3, 1).
|
|
param(t1, t4, 2).
|
|
param(t2, t6, 1).
|
|
param(t2, t5, 2).
|
|
|
|
type(t3, cObject, 0).
|
|
type(t5, cInteger, 0).
|
|
typeVar(t4).
|
|
typeVar(t6).
|
|
|
|
type(tfc1, cMap, 2).
|
|
type(tfc2, cHashMap, 2).
|
|
param(tfc1, gA, 1).
|
|
param(tfc1, gB, 2).
|
|
param(tfc2, gB, 1).
|
|
param(tfc2, gA, 2).
|
|
typeVar(gA).
|
|
typeVar(gB).
|
|
smaller(tfc2, tfc1).
|
|
smaller(tfc1, tfc1).
|
|
|
|
#show equals/2.
|