Page Numbers: Yes First Page: 1
Heading:

May 22, 1979 12:32 PM[IVY]<krl>document>str-formal-rec

NEXUS (type file bPtr ePtr struc space handle dStruc surFlg)

Intermediate level

UNIT : (unitName uNotes . slots)

Slot : (slotName sNotes slotDescription)

Collection : (orderedFlg . descSeq)

Functional : (functionalName functionalArgs . FPairList)

ImplicitAnd :

IntLispPointer :

LispInvoke : (lispInvDesc . lispInvPairs)

LocalNamedRef : (localName . LNUnit)

LocalReference : (LRSlotSpec . LRUnit)

MetaShift :

Perspective : ((imdFlg . expFlg) perspPrototype . fillerPairs)

QuotedDesc : (quotedStruc . quotedType)

Select : (keyDescription matchDesc . casePairs)

SlotPointer : (SPSlotSpec . SPUnit)

Specification : (slotSpec focus . perspective)

StructureRef : (SRSlotSpec . SRUnit)

Surrogate : (compFn surType surExpr . surName)

UnitPointer :

CASEPAIR : (proDesc . apoDesc)

FILLERPAIR : (pairName . pairFiller)

FnlSpecEl : (elName . elKey)

Footnote : (noteNumber noteUsedFlg . noteValue)

NoteRef : (refNumber refStruc . storeFn)

Memory level

Anchor : (metaAnchor (descrs 3) Named (Flags Named Primary PartialMeta BackPtr WrongU)

Coreference : (coref metaAnchor)

Ellipsis : (NIL metaAnchor)

Extender : ((extras 4))

CharacterString : NIL

InterpretedMapD : (focusSlot metaAnchor prototype (templateAnchors 3)
(instanceAnchors 3))

KrlPointer : (referent metaAnchor) (Flags Indirect)

LispPointer : (lispPointer metaAnchor) (Flags AtomP StringP FixP FloatP)

LocalNamePair : (namedStructure) Named)

MapDescriptor : (focusSlot metaAnchor prototype (templateAnchors 3)
(instanceAnchors 3))

MemUnit : (metaAnchor memFile memBPtr memEPtr (slotAnchors 3) Named
(Flags Named)

Reflexive : (template metaAnchor)

Sequence : (NIL metaAnchor (elements 3))

Set : (NIL metaAnchor (elements 3))

SysSymbol : (symbolValue) Named)

(KRLSTRUCTYPELIST ((20 . SysSymbol)
(19 . Sequence)
(18 . Set)
(17 . Collection)
(16 . LispPointer)
(15 . InterpretedMapD)
(14 . Reflexive)
(13 . KrlPointer)
(12 . Coreference)
(11 . MapDescriptor)
(10 . SkipField)
(9 . Extender)
(8 . MemUnit)
(7 . Ellipsis)
(6 . CharacterString)
(5 . PseudoHandle)
(4 . SpaceAllocBlock)
(3 . FilePage)
(2 . LocalNamePair)
(1 . Anchor)))