
(/VERSIONCHECK 2) 

(PUT '|SAOS;create;$;1| '|SPADreplace| '(XLAM NIL "?")) 

(DEFUN |SAOS;create;$;1| ($) "?") 

(PUT '|SAOS;<;2$B;2| '|SPADreplace| '(XLAM (|a| |b|) 'NIL)) 

(DEFUN |SAOS;<;2$B;2| (|a| |b| $) 'NIL) 

(DEFUN |SAOS;coerce;$Of;3| (|a| $) (SPADCALL "?" (QREFELT $ 11))) 

(PUT '|SAOS;=;2$B;4| '|SPADreplace| '(XLAM (|a| |b|) 'T)) 

(DEFUN |SAOS;=;2$B;4| (|a| |b| $) 'T) 

(PUT '|SAOS;min;3$;5| '|SPADreplace| '(XLAM (|a| |b|) |a|)) 

(DEFUN |SAOS;min;3$;5| (|a| |b| $) |a|) 

(PUT '|SAOS;max;3$;6| '|SPADreplace| '(XLAM (|a| |b|) |a|)) 

(DEFUN |SAOS;max;3$;6| (|a| |b| $) |a|) 

(DEFUN |SAOS;convert;$S;7| (|a| $) (SPADCALL "?" (QREFELT $ 17))) 

(DEFUN |SingletonAsOrderedSet| #1=()
  (PROG #1#
    (RETURN
     (PROG (#2=#:G1814)
       (RETURN
        (COND
         ((LETT #2# (HGET |$ConstructorCache| '|SingletonAsOrderedSet|)
                . #3=(|SingletonAsOrderedSet|))
          (|CDRwithIncrement| (CDAR #2#)))
         ('T
          (UNWIND-PROTECT
              (PROG1
                  (CDDAR
                   (HPUT |$ConstructorCache| '|SingletonAsOrderedSet|
                         (LIST
                          (CONS NIL (CONS 1 (|SingletonAsOrderedSet;|))))))
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache| '|SingletonAsOrderedSet|))))))))))) 

(DEFUN |SingletonAsOrderedSet;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
     (PROGN
      (LETT |dv$| '(|SingletonAsOrderedSet|) . #1=(|SingletonAsOrderedSet|))
      (LETT $ (GETREFV 20) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|SingletonAsOrderedSet| NIL (CONS 1 $))
      (|stuffDomainSlots| $)
      $)))) 

(MAKEPROP '|SingletonAsOrderedSet| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL |SAOS;create;$;1| (|Boolean|)
              |SAOS;<;2$B;2| (|String|) (|OutputForm|) (0 . |outputForm|)
              |SAOS;coerce;$Of;3| |SAOS;=;2$B;4| |SAOS;min;3$;5|
              |SAOS;max;3$;6| (|Symbol|) (5 . |coerce|) |SAOS;convert;$S;7|
              (|SingleInteger|))
           '#(~= 10 |smaller?| 16 |min| 22 |max| 28 |latex| 34 |hash| 39
              |create| 44 |convert| 48 |coerce| 53 >= 58 > 64 = 70 <= 76 < 82)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0))
                 (CONS '#(|OrderedSet&| NIL |SetCategory&| |BasicType&| NIL)
                       (CONS
                        '#((|OrderedSet|) (|Comparable|) (|SetCategory|)
                           (|BasicType|) (|CoercibleTo| 10))
                        (|makeByteWordVec2| 19
                                            '(1 10 0 9 11 1 16 0 9 17 2 0 7 0 0
                                              1 2 0 7 0 0 1 2 0 0 0 0 14 2 0 0
                                              0 0 15 1 0 9 0 1 1 0 19 0 1 0 0 0
                                              6 1 0 16 0 18 1 0 10 0 12 2 0 7 0
                                              0 1 2 0 7 0 0 1 2 0 7 0 0 13 2 0
                                              7 0 0 1 2 0 7 0 0 8)))))
           '|lookupComplete|)) 

(MAKEPROP '|SingletonAsOrderedSet| 'NILADIC T) 
