(OSLIB::FILE-KIND-P)
(OSLIB::TYPE-WHEN-FILE-KIND-P)
(OSLIB::FILE-KIND-P-POSSIBILITIES)
(OSLIB::FILE-KIND-FIX$INLINE)
(OSLIB::RETURN-TYPE-OF-FILE-KIND-FIX)
(OSLIB::FILE-KIND-FIX-IDEMPOTENT)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(OSLIB::FILE-KIND-EQUIV$INLINE)
(OSLIB::FILE-KIND-EQUIV-IS-AN-EQUIVALENCE)
(OSLIB::FILE-KIND-EQUIV-IMPLIES-EQUAL-FILE-KIND-FIX-1)
(OSLIB::FILE-KIND-FIX-UNDER-FILE-KIND-EQUIV)
(OSLIB::FILE-KIND-FN)
(OSLIB::FILE-KIND-P-OF-FILE-KIND.ANS)
(OSLIB::STATE-P1-OF-FILE-KIND.NEW-STATE
 (12 4 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (8 2 (:DEFINITION STATE-P))
 (4 4 (:TYPE-PRESCRIPTION STATE-P))
 )
(OSLIB::TYPE-OF-FILE-KIND.ANS)
(OSLIB::W-STATE-OF-FILE-KIND)
(OSLIB::PATH-EXISTS-P-FN)
(OSLIB::BOOLEANP-OF-PATH-EXISTS-P.ANS)
(OSLIB::STATE-P1-OF-PATH-EXISTS-P.NEW-STATE
 (12 4 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (8 2 (:DEFINITION STATE-P))
 (4 4 (:TYPE-PRESCRIPTION STATE-P))
 )
(OSLIB::W-STATE-OF-PATH-EXISTS-P)
(OSLIB::PATHS-ALL-EXIST-P-FN
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::BOOLEANP-OF-PATHS-ALL-EXIST-P.ANS
 (19 19 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::STATE-P1-OF-PATHS-ALL-EXIST-P.NEW-STATE
 (22 22 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::W-STATE-OF-PATHS-ALL-EXIST-P
 (10 10 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::PATHS-ALL-MISSING-P-FN
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::BOOLEANP-OF-PATHS-ALL-MISSING-P.ANS
 (19 19 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::STATE-P1-OF-PATHS-ALL-MISSING-P.NEW-STATE
 (22 22 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::W-STATE-OF-PATHS-ALL-MISSING-P
 (10 10 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::EXISTING-PATHS-EXEC-FN
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::EXISTING-PATHS-FN)
(OSLIB::STRING-LISTP-OF-EXISTING-PATHS.ANS
 (48 48 (:REWRITE DEFAULT-CAR))
 (36 36 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::STATE-P1-OF-EXISTING-PATHS.NEW-STATE
 (12 12 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::EXISTING-PATHS-EXEC-REMOVAL
 (375 243 (:REWRITE DEFAULT-CAR))
 (299 167 (:REWRITE DEFAULT-CDR))
 (78 78 (:REWRITE CONSP-OF-REV))
 (28 28 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (26 26 (:REWRITE REV-WHEN-NOT-CONSP))
 )
(OSLIB::TRUE-LISTP-OF-EXISTING-PATHS
 (9 9 (:REWRITE DEFAULT-CAR))
 (6 3 (:DEFINITION TRUE-LISTP))
 (5 5 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::EXISTING-PATHS-FN
 (114 114 (:REWRITE DEFAULT-CAR))
 (69 69 (:REWRITE DEFAULT-CDR))
 (30 10 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (5 2 (:REWRITE REV-WHEN-NOT-CONSP))
 )
(OSLIB::W-STATE-OF-EXISTING-PATHS
 (9 9 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::MISSING-PATHS-EXEC-FN
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::MISSING-PATHS-FN)
(OSLIB::STRING-LISTP-OF-MISSING-PATHS.ANS
 (48 48 (:REWRITE DEFAULT-CAR))
 (36 36 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::STATE-P1-OF-MISSING-PATHS.NEW-STATE
 (12 12 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::MISSING-PATHS-EXEC-REMOVAL
 (375 243 (:REWRITE DEFAULT-CAR))
 (299 167 (:REWRITE DEFAULT-CDR))
 (78 78 (:REWRITE CONSP-OF-REV))
 (28 28 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (26 26 (:REWRITE REV-WHEN-NOT-CONSP))
 )
(OSLIB::TRUE-LISTP-OF-MISSING-PATHS
 (9 9 (:REWRITE DEFAULT-CAR))
 (6 3 (:DEFINITION TRUE-LISTP))
 (5 5 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::MISSING-PATHS-FN
 (114 114 (:REWRITE DEFAULT-CAR))
 (69 69 (:REWRITE DEFAULT-CDR))
 (30 10 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (5 2 (:REWRITE REV-WHEN-NOT-CONSP))
 )
(OSLIB::W-STATE-OF-MISSING-PATHS
 (9 9 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::REGULAR-FILE-P-FN)
(OSLIB::BOOLEANP-OF-REGULAR-FILE-P.ANS)
(OSLIB::STATE-P1-OF-REGULAR-FILE-P.NEW-STATE
 (12 4 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (8 2 (:DEFINITION STATE-P))
 (4 4 (:TYPE-PRESCRIPTION STATE-P))
 )
(OSLIB::W-STATE-OF-REGULAR-FILE-P)
(OSLIB::REGULAR-FILES-P-FN
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::BOOLEANP-OF-REGULAR-FILES-P.ANS
 (19 19 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::STATE-P1-OF-REGULAR-FILES-P.NEW-STATE
 (22 22 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::W-STATE-OF-REGULAR-FILES-P
 (10 10 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::REGULAR-FILES-EXEC-FN
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::REGULAR-FILES-FN)
(OSLIB::STRING-LISTP-OF-REGULAR-FILES.ANS
 (48 48 (:REWRITE DEFAULT-CAR))
 (36 36 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::STATE-P1-OF-REGULAR-FILES.NEW-STATE
 (12 12 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::REGULAR-FILES-EXEC-REMOVAL
 (375 243 (:REWRITE DEFAULT-CAR))
 (299 167 (:REWRITE DEFAULT-CDR))
 (78 78 (:REWRITE CONSP-OF-REV))
 (28 28 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (26 26 (:REWRITE REV-WHEN-NOT-CONSP))
 )
(OSLIB::TRUE-LISTP-OF-REGULAR-FILES
 (9 9 (:REWRITE DEFAULT-CAR))
 (6 3 (:DEFINITION TRUE-LISTP))
 (5 5 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::REGULAR-FILES-FN
 (114 114 (:REWRITE DEFAULT-CAR))
 (69 69 (:REWRITE DEFAULT-CDR))
 (30 10 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (5 2 (:REWRITE REV-WHEN-NOT-CONSP))
 )
(OSLIB::W-STATE-OF-REGULAR-FILES
 (9 9 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::DIRECTORY-P-FN)
(OSLIB::BOOLEANP-OF-DIRECTORY-P.ANS)
(OSLIB::STATE-P1-OF-DIRECTORY-P.NEW-STATE
 (12 4 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (8 2 (:DEFINITION STATE-P))
 (4 4 (:TYPE-PRESCRIPTION STATE-P))
 )
(OSLIB::W-STATE-OF-DIRECTORY-P)
(OSLIB::DIRECTORIES-P-FN
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::BOOLEANP-OF-DIRECTORIES-P.ANS
 (19 19 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::STATE-P1-OF-DIRECTORIES-P.NEW-STATE
 (22 22 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::W-STATE-OF-DIRECTORIES-P
 (10 10 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::DIRECTORIES-EXEC-FN
 (6 6 (:REWRITE DEFAULT-CAR))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::DIRECTORIES-FN)
(OSLIB::STRING-LISTP-OF-DIRECTORIES.ANS
 (48 48 (:REWRITE DEFAULT-CAR))
 (36 36 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::STATE-P1-OF-DIRECTORIES.NEW-STATE
 (12 12 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::DIRECTORIES-EXEC-REMOVAL
 (375 243 (:REWRITE DEFAULT-CAR))
 (299 167 (:REWRITE DEFAULT-CDR))
 (78 78 (:REWRITE CONSP-OF-REV))
 (28 28 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (26 26 (:REWRITE REV-WHEN-NOT-CONSP))
 )
(OSLIB::TRUE-LISTP-OF-DIRECTORIES
 (9 9 (:REWRITE DEFAULT-CAR))
 (6 3 (:DEFINITION TRUE-LISTP))
 (5 5 (:REWRITE DEFAULT-CDR))
 )
(OSLIB::DIRECTORIES-FN
 (114 114 (:REWRITE DEFAULT-CAR))
 (69 69 (:REWRITE DEFAULT-CDR))
 (30 10 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (5 2 (:REWRITE REV-WHEN-NOT-CONSP))
 )
(OSLIB::W-STATE-OF-DIRECTORIES
 (9 9 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
