-- AMMiniModelPrivate.Mesa
-- last modified on October 19, 1982 8:29 am by Paul Rovner

DIRECTORY
PilotLoadStateFormat USING[NullConfig, ConfigIndex],
RTBasic USING[Type, TypedVariable],
RTTypesPrivate USING[TypedVariableRec],
TimeStamp USING[Stamp];

AMMiniModelPrivate: DEFINITIONS
= BEGIN

AcquireIRInstanceFromType: PROC[type: RTBasic.Type] RETURNS[RTBasic.TypedVariable];

EVDescriptor: TYPE = MACHINE DEPENDENT --one word--
RECORD[configIndex: PilotLoadStateFormat.ConfigIndex,
linksIndex: [0..377b]];

unboundEVD: EVDescriptor = [configIndex: PilotLoadStateFormat.NullConfig,
linksIndex: 377b];

TVForExportedVariable: PROC[version: TimeStamp.Stamp, evd: EVDescriptor]
RETURNS[REF RTTypesPrivate.TypedVariableRec];

END.