--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Mon Oct 11 17:10:29 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA12920; Mon, 11 Oct 1993 17:10:29 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2454; Mon, 11 Oct 93 17:16:24 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.5329.Oct.11.17:16:23.-0400>
--*           for asbugs@watson; Mon, 11 Oct 93 17:16:23 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 5327; Mon, 11 Oct 1993 17:16:22 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Mon, 11 Oct 93 17:16:22 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA75591; Mon, 11 Oct 1993 17:15:46 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA24457; Mon, 11 Oct 1993 17:22:35 -0400
--* Date: Mon, 11 Oct 1993 17:22:35 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9310112122.AA24457@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: Bug: libPutSymeTypes:  unassigned type [set0.as][31.2 (current)]

--@ Fixed  by:  SSD   Fri Oct 15 11:46:52 1993 
--@ Tested by:  none 
--@ Summary:    fixed symeListClosure for extensions 


#library langlib "lang.aso"
import langlib
SetCategory:Category == with
FiniteSetAggregate(s:Type):Category == with
Set(x:Type):Type == x
extend Set(_#1:SetCategory):FiniteSetAggregate(_#1) ==
  add pretend FiniteSetAggregate(_#1)