-- 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.