If {a}+this.entries contain a set of entries X1..Xn, such that
(1) For each X: X[j]==a[j] for i!=j, and X[i].super==a[i].super
(2) X1[i]..Xn[i] exhaust all the direct subsignatures of an abstract parent sig
THEN:
we remove X1..Xn, then return the merged result of X1..Xn
ELSE
we change nothing, and simply return null
Precondition: a[i] is not NONE, and a[i].parent is abstract, and a[i].parent!=UNIV
|
|
|
|