DIRECTORY AMTypes USING [TV, Type], BcdDefs USING [VersionStamp, NullVersion], Rope USING [ROPE], WorldVM USING [World]; AMMiniModel: CEDAR DEFINITIONS = BEGIN OPEN AMTypes, BcdDefs, Rope, WorldVM; GetInterfaceRecord: PROC [defsName: ROPE, world: World] RETURNS [TV]; GetInterfaceRecordFromType: PROC [type: Type, world: World] RETURNS [TV]; ImplementorName: PROC [defsName, itemName: ROPE, world: World] RETURNS [ROPE]; GetInterfaceRecordNames: PROC [world: World] RETURNS[LIST OF ROPE]; AcquireIRType: PROC [defsName: ROPE, version: VersionStamp _ NullVersion] RETURNS [type: Type]; END. <AMMiniModel.Mesa Copyright c 1985 by Xerox Corporation. All rights reserved. Rovner, July 23, 1983 3:36 pm Russ Atkinson (RRA) February 11, 1985 11:45:01 pm PST If version = NullVersion then the local file defsName.bcd will be used (whether or not it corresponds to any interface record in the local world). Κ?˜codešœ™Kšœ Οmœ1™