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