--* From BMT%WATSON.vnet.ibm.com@yktvmh.watson.ibm.com  Fri Jun 25 17:29:59 1993
--* Received: from yktvmh.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA18427; Fri, 25 Jun 1993 17:29:59 -0400
--* Received: from watson.vnet.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 4017; Fri, 25 Jun 93 17:30:45 EDT
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.BMT.NOTE.VAGENT2.1106.Jun.25.17:30:45.-0400>
--*           for asbugs@watson; Fri, 25 Jun 93 17:30:45 -0400
--* Received: from YKTVMH by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 1104; Fri, 25 Jun 1993 17:30:45 EDT
--* Received: from cyst.watson.ibm.com by yktvmh.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Fri, 25 Jun 93 17:30:44 EDT
--* Received: from spadserv.watson.ibm.com by cyst.watson.ibm.com (AIX 3.2/UCB 5.64/900528)
--*   id AA17681; Fri, 25 Jun 1993 17:31:01 -0400
--* Received: by spadserv.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA20456; Fri, 25 Jun 1993 17:33:32 -0400
--* Date: Fri, 25 Jun 1993 17:33:32 -0400
--* From: bmt@spadserv.watson.ibm.com
--* X-External-Networks: yes
--* Message-Id: <9306252133.AA20456@spadserv.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: category default packages can't use explicit exports of category [catbug.as][28.I (current)]

--@ Fixed  by:  SSD   Wed Jun 29 09:38:32 EDT 1994 
--@ Tested by:  none 
--@ Summary:    Use 'default' to specify category defaults, not 'add'. 


#include "aslib.as"

OldMonoid: Category == BasicType with
    --operations
      1: %                   ++ 1 is the multiplicative identity.
      one?: % -> Bit                  ++ one?(x) tests if x is equal to 1.
    add
      one?(x:%): Bit == x = 1