(FILECREATED "18-SEP-77 22:56:13" ff[̈IVY]<KRL>document>str-syntax-func.;1ff ̌768

changes to: CallStructure CollectionMembership)


(PRETTYCOMPRINT SYSUNITSCOMS)

(RPAQQ ff¿SYSUNITSCOMSff ̌((* contains the units needed for basic system operation)
(UNITS: FUNCTIONALUNITS)))





ff(̈* contains the units needed for basic system operation)ff ̌
(PRETTYCOMPRINT (UNITS: FUNCTIONALUNITS))
(RPAQQ FUNCTIONALUNITS (CallStructure CaseSelection CollectionDescription Comment Contingency Default Disjunction ElementDescription Imperative InvariantDescription LispValue Negation NonPrimary NonUniqueMap PresentDescription SequenceDescription SetDescription UniqueMap))

(READWHITEUNITS NIL (QUOTE SysUnitSpace))

# CallStructure↑1 1: HasFunctional(self,Interpreted CallMe,localName)
self:
localName:

# CaseSelection↑1 1: HasFunctional(self,Interpreted KrlCase,key,matchControl,patterns,
resultingDescriptions)
self:
key:
matchControl:
patterns:
resultingDescriptions:

# CollectionDescription↑1 1: HasFunctional(self,Interpreted Containing,elementDescription)
self:
elementDescription:

# Comment↑1 1: HasFunctional(self,Comment,cString)
self:
cString:

# Contingency↑1 1: HasFunctional(self,Interpreted During,world,contingentDescription)
self:
world:
contingentDescription:

# Default↑1 1: HasFunctional(self,Interpreted Default,description)
self:
description:

# Disjunction↑1 1: HasFunctional(self,Interpreted Or,Sequence alternatives)
self:
alternatives:

# ElementDescription↑1 1: HasFunctional(self,Interpreted MemberOf,collectionDescription)
self:
collectionDescription:

# Imperative↑1 1: HasFunctional(self,Interpreted Do,lispForm)
self:
lispForm:

# InvariantDescription↑1 1: HasFunctional(self,Interpreted Always,description)
self:
description:

# LispValue↑1 1: HasFunctional(self,Interpreted LispInvoke,lispForm,variables,bindings)
self:
lispForm:
variables:
bindings:

# Negation↑1 1: HasFunctional(self,Interpreted Not,rejectedDescription)
self:
rejectedDescription:

# NonPrimary↑1 1: HasFunctional(self,Interpreted NonPrimary)
self:

# NonUniqueMap↑1 1: HasFunctional(self,Interpreted NonUniqueMap)
self:

# PresentDescription↑1 1: HasFunctional(self,Interpreted Currently,description)
self:
description:

# SequenceDescription↑1 1: HasFunctional(self,Interpreted SequenceOf,elementDescription)
self:
elementDescription:

# SetDescription↑1 1: HasFunctional(self,Interpreted SetOf,elementDescription)
self:
elementDescription:

# UniqueMap↑1 1: HasFunctional(self,Interpreted UniqueMap)
self:

ENDUNITS

(DECLARE: DONTCOPY
(FILEMAP (NIL)))
STOP