@Override protected Type lubWithConstructor(Type type) { return type.getAbstractDataType().equivalent(RascalValueFactory.Tree) ? RascalValueFactory.Tree : TF.nodeType(); }
@Override protected Type lubWithConstructor(Type type) { return type.getAbstractDataType().equivalent(RascalValueFactory.Tree) ? RascalValueFactory.Tree : TF.nodeType(); }