1 2(DEFPARAMETER |CoDcpo;CAT| 'NIL) 3 4(DECLAIM (NOTINLINE |CoDcpo;|)) 5 6(DEFPARAMETER |CoDcpo;AL| 'NIL) 7 8(DEFUN |CoDcpo| (|t#1|) 9 (LET (#1=#:G401 (#2=#:G402 (|devaluate| |t#1|))) 10 (COND ((SETQ #1# (|assoc| #2# |CoDcpo;AL|)) (CDR #1#)) 11 (T 12 (SETQ |CoDcpo;AL| 13 (|cons5| (CONS #2# (SETQ #1# (|CoDcpo;| #2#))) |CoDcpo;AL|)) 14 #1#)))) 15 16(DEFUN |CoDcpo;| (|t#1|) 17 (SPROG ((#1=#:G400 NIL)) 18 (PROG1 19 (LETT #1# 20 (|sublisV| (MAKE_PAIRS '(|t#1|) (LIST |t#1|)) 21 (COND (|CoDcpo;CAT|) 22 ('T 23 (LETT |CoDcpo;CAT| 24 (|Join| (|Poset| '|t#1|) 25 (|mkCategory| 26 '(((|meet| 27 ((|NonNegativeInteger|) 28 $ 29 (|NonNegativeInteger|) 30 (|NonNegativeInteger|))) 31 T)) 32 NIL NIL NIL))))))) 33 (SETELT #1# 0 (LIST '|CoDcpo| |t#1|))))) 34