public abstract void updateHashCode(TypeHashCodeContext context);
public abstract int hashCode(int hash);
public abstract int hashCode(int hash, TVar[] boundVars);
+
+ public int skeletonHashCode() {
+ return skeletonHashCode(HashCodeUtils.SEED);
+ }
+
+ public abstract int skeletonHashCode(int hash);
+ public abstract int skeletonHashCode(int hash, TVar[] boundVars);
public abstract void collectFreeVars(ArrayList<TVar> vars);
public abstract Kind getKind(Environment context);
+ public abstract Type[] skeletonCanonicalChildren();
+
}
\ No newline at end of file