SymbolSpaceRep:
TYPE =
RECORD [
file: MimSysOps.MappedFile,
file containing the symbols
start:
INT,
offset in AUs from start of MimSysOps.MapBase[file] of the symbols
length:
INT
length in AUs of the symbols
];
FileRecord:
TYPE =
RECORD [
version: MobDefs.VersionStamp ¬ MobDefs.NullVersion,
space: SymbolSpace ¬ NIL,
name: FileParms.Name ¬ FileParms.nullName,
formal: FileParms.Name ¬ FileParms.nullName,
type: FileParms.Name ¬ FileParms.nullName];