<> <> DIRECTORY AMTypes USING[TV, Type], BcdDefs USING[VersionStamp, NullVersion], Rope USING[ROPE], WorldVM USING [World]; AMMiniModel: CEDAR DEFINITIONS = BEGIN OPEN AMTypes, Rope; GetInterfaceRecord: PROC[defsName: ROPE, world: WorldVM.World] RETURNS[TV]; GetInterfaceRecordFromType: PROC[type: Type, world: WorldVM.World] RETURNS[TV]; ImplementorName: PROC[defsName, itemName: ROPE, world: WorldVM.World] RETURNS[ROPE]; GetInterfaceRecordNames: PROC[world: WorldVM.World] RETURNS[LIST OF ROPE]; <> AcquireIRType: PROC[defsName: ROPE, version: BcdDefs.VersionStamp _ BcdDefs.NullVersion] RETURNS[type: Type]; END.